Lines Matching refs:ExprEngine

18     instance methods when ExprEngine is confident about the dynamic type of the
118 ExprEngine::inlineCall and ExprEngine::processCallExit.
132 2. ExprEngine takes over (in processCallExit) and finds the return value of the
158 ReplayWithoutInlining bit added to it (ExprEngine::replayWithoutInlining).  The
185   processed by the ExprEngine. Thus, if the CFG was built without nodes for
191 - In C++, ExprEngine does not inline custom implementations of operator 'new'
258 parlance), which ExprEngine uses to decide whether or not the call should be
287 ExprEngine::BifurcateCall implements the -analyzer-config ipa=dynamic-bifurcate
291 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
300    called. When this mode is set, ExprEngine uses the Decl from 
306    definition is overriden in a subclass. In such cases, ExprEngine does not 
311 Going forward along the symbolic execution path, ExprEngine consults the mode 
324 ExprEngine relies on a set of heuristics to partition the set of Objective-C 
360 - Arrays of objects are modeled very poorly right now.  ExprEngine currently
362   ExprEngine does not inline any constructors or destructors for arrays.