Home
last modified time | relevance | path

Searched refs:RuntimeDefinition (Results 1 – 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DCallEvent.cpp427 RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const { in getRuntimeDefinition()
431 return RuntimeDefinition(); in getRuntimeDefinition()
441 return RuntimeDefinition(); in getRuntimeDefinition()
446 return RuntimeDefinition(); in getRuntimeDefinition()
454 return RuntimeDefinition(); in getRuntimeDefinition()
472 return RuntimeDefinition(); in getRuntimeDefinition()
478 return RuntimeDefinition(); in getRuntimeDefinition()
484 return RuntimeDefinition(Definition, R->StripCasts()); in getRuntimeDefinition()
485 return RuntimeDefinition(Definition, /*DispatchRegion=*/0); in getRuntimeDefinition()
526 RuntimeDefinition CXXMemberCall::getRuntimeDefinition() const { in getRuntimeDefinition()
[all …]
DExprEngineCallAndReturn.cpp789 RuntimeDefinition RD = Call->getRuntimeDefinition(); in defaultEvalCall()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCallEvent.h79 class RuntimeDefinition {
91 RuntimeDefinition(): D(0), R(0) {} in RuntimeDefinition() function
92 RuntimeDefinition(const Decl *InD): D(InD), R(0) {} in RuntimeDefinition() function
93 RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {} in RuntimeDefinition() function
195 virtual RuntimeDefinition getRuntimeDefinition() const = 0;
411 virtual RuntimeDefinition getRuntimeDefinition() const { in getRuntimeDefinition()
420 return RuntimeDefinition(AD->getDecl()); in getRuntimeDefinition()
423 return RuntimeDefinition(); in getRuntimeDefinition()
526 virtual RuntimeDefinition getRuntimeDefinition() const { in getRuntimeDefinition()
527 return RuntimeDefinition(getBlockDecl()); in getRuntimeDefinition()
[all …]
/external/clang/docs/analyzer/
DIPA.txt215 == RuntimeDefinition ==
218 which returns a RuntimeDefinition object. When asked to provide a definition,
222 RuntimeDefinition contains a Decl corresponding to the definition of the called
223 function, and RuntimeDefinition::mayHaveOtherDefinitions will return FALSE.
226 can make a guess, but RuntimeDefinition::mayHaveOtherDefinitions will return
227 TRUE. The RuntimeDefinition object will then also include a MemRegion
262 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
264 RuntimeDefinition object) with a path-sensitive "mode" in the ProgramState.
272 RuntimeDefinition to inline any dynamically dispatched call sent to this