Lines Matching refs:ExprEngine

18     instance methods when ExprEngine is confident about the dynamic type of the
125 ExprEngine::inlineCall and ExprEngine::processCallExit.
139 2. ExprEngine takes over (in processCallExit) and finds the return value of the
165 ReplayWithoutInlining bit added to it (ExprEngine::replayWithoutInlining).  The
192   processed by the ExprEngine. Thus, if the CFG was built without nodes for
198 - In C++, ExprEngine does not inline custom implementations of operator 'new'
267 parlance), which ExprEngine uses to decide whether or not the call should be
297 ExprEngine::BifurcateCall implements the ``-analyzer-config ipa=dynamic-bifurcate``
301 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
310    called. When this mode is set, ExprEngine uses the Decl from 
316    definition is overridden in a subclass. In such cases, ExprEngine does not 
321 Going forward along the symbolic execution path, ExprEngine consults the mode 
334 ExprEngine relies on a set of heuristics to partition the set of Objective-C 
370 * Arrays of objects are modeled very poorly right now.  ExprEngine currently
372   ExprEngine does not inline any constructors or destructors for arrays.