Lines Matching +full:pre +full:- +full:processing

1 //===- CheckerDocumentation.cpp - Documentation checker ---------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
12 //===----------------------------------------------------------------------===//
32 /// as reporting bugs. Most of the callbacks are targeted at path-sensitive
38           // clang-format off
64           // clang-format on
67   /// Pre-visit the Statement.
74   /// See checkBranchCondition() callback for performing custom processing of
80   /// Post-visit the Statement.
90   /// Pre-visit the Objective C message.
93   /// This is called for any action which produces an Objective-C message send,
99   /// Post-visit the Objective C message.
105   /// Visit an Objective-C message whose receiver is nil.
108   /// receiver is definitely nil. In this case, check{Pre/Post}ObjCMessage and
109   /// check{Pre/Post}Call will not be called.
114   /// Pre-visit an abstract "call" event.
119   /// Note that this includes ALL cross-body invocations, so if you want to
126   /// Post-visit an abstract "call" event.
132   /// Pre-visit of the condition statement of a branch (such as IfStmt).
135   /// Post-visit the C++ operator new's allocation call.
140   /// type, (3) assuming that the value is non-null, call the object's
142   /// new-expression is this pointer. This callback is called between steps
143   /// (2) and (3). Post-call for the allocator is called after step (1).
144   /// Pre-statement for the new-expression is called on step (4) when the value
154   /// \param S      The load is performed while processing the statement.
164   /// \param S   The bind is performed while processing the statement S.
200   /// - the symbolic execution graph is fully explored.