Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DCallEvent.cpp471 RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const { in getRuntimeDefinition()
475 return RuntimeDefinition(); in getRuntimeDefinition()
485 return RuntimeDefinition(); in getRuntimeDefinition()
490 return RuntimeDefinition(); in getRuntimeDefinition()
498 return RuntimeDefinition(); in getRuntimeDefinition()
516 return RuntimeDefinition(); in getRuntimeDefinition()
522 return RuntimeDefinition(); in getRuntimeDefinition()
528 return RuntimeDefinition(Definition, R->StripCasts()); in getRuntimeDefinition()
529 return RuntimeDefinition(Definition, /*DispatchRegion=*/nullptr); in getRuntimeDefinition()
570 RuntimeDefinition CXXMemberCall::getRuntimeDefinition() const { in getRuntimeDefinition()
[all …]
DExprEngineCallAndReturn.cpp912 RuntimeDefinition RD = Call->getRuntimeDefinition(); in defaultEvalCall()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCallEvent.h102 class RuntimeDefinition {
114 RuntimeDefinition(): D(nullptr), R(nullptr) {} in RuntimeDefinition() function
115 RuntimeDefinition(const Decl *InD): D(InD), R(nullptr) {} in RuntimeDefinition() function
116 RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {} in RuntimeDefinition() function
219 virtual RuntimeDefinition getRuntimeDefinition() const = 0;
437 RuntimeDefinition getRuntimeDefinition() const override { in getRuntimeDefinition()
446 return RuntimeDefinition(AD->getDecl()); in getRuntimeDefinition()
449 return RuntimeDefinition(); in getRuntimeDefinition()
562 RuntimeDefinition getRuntimeDefinition() const override { in getRuntimeDefinition()
564 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