Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DCallEvent.cpp461 RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const { in getRuntimeDefinition()
465 return RuntimeDefinition(); in getRuntimeDefinition()
475 return RuntimeDefinition(); in getRuntimeDefinition()
480 return RuntimeDefinition(); in getRuntimeDefinition()
488 return RuntimeDefinition(); in getRuntimeDefinition()
506 return RuntimeDefinition(); in getRuntimeDefinition()
512 return RuntimeDefinition(); in getRuntimeDefinition()
518 return RuntimeDefinition(Definition, R->StripCasts()); in getRuntimeDefinition()
519 return RuntimeDefinition(Definition, /*DispatchRegion=*/nullptr); in getRuntimeDefinition()
560 RuntimeDefinition CXXMemberCall::getRuntimeDefinition() const { in getRuntimeDefinition()
[all …]
DExprEngineCallAndReturn.cpp926 RuntimeDefinition RD = Call->getRuntimeDefinition(); in defaultEvalCall()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCallEvent.h77 class RuntimeDefinition {
89 RuntimeDefinition(): D(nullptr), R(nullptr) {} in RuntimeDefinition() function
90 RuntimeDefinition(const Decl *InD): D(InD), R(nullptr) {} in RuntimeDefinition() function
91 RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {} in RuntimeDefinition() function
194 virtual RuntimeDefinition getRuntimeDefinition() const = 0;
405 RuntimeDefinition getRuntimeDefinition() const override { in getRuntimeDefinition()
414 return RuntimeDefinition(AD->getDecl()); in getRuntimeDefinition()
417 return RuntimeDefinition(); in getRuntimeDefinition()
530 RuntimeDefinition getRuntimeDefinition() const override { in getRuntimeDefinition()
532 return RuntimeDefinition(getDecl()); in getRuntimeDefinition()
[all …]
/external/clang/docs/analyzer/
DIPA.txt244 == RuntimeDefinition ==
247 which returns a RuntimeDefinition object. When asked to provide a definition,
251 RuntimeDefinition contains a Decl corresponding to the definition of the called
252 function, and RuntimeDefinition::mayHaveOtherDefinitions will return FALSE.
255 can make a guess, but RuntimeDefinition::mayHaveOtherDefinitions will return
256 TRUE. The RuntimeDefinition object will then also include a MemRegion
291 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
293 RuntimeDefinition object) with a path-sensitive "mode" in the ProgramState.
301 RuntimeDefinition to inline any dynamically dispatched call sent to this