Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DCallEvent.cpp421 RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const { in getRuntimeDefinition()
425 return RuntimeDefinition(); in getRuntimeDefinition()
435 return RuntimeDefinition(); in getRuntimeDefinition()
440 return RuntimeDefinition(); in getRuntimeDefinition()
448 return RuntimeDefinition(); in getRuntimeDefinition()
466 return RuntimeDefinition(); in getRuntimeDefinition()
472 return RuntimeDefinition(); in getRuntimeDefinition()
478 return RuntimeDefinition(Definition, R->StripCasts()); in getRuntimeDefinition()
479 return RuntimeDefinition(Definition, /*DispatchRegion=*/nullptr); in getRuntimeDefinition()
520 RuntimeDefinition CXXMemberCall::getRuntimeDefinition() const { in getRuntimeDefinition()
[all …]
DExprEngineCallAndReturn.cpp922 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
193 virtual RuntimeDefinition getRuntimeDefinition() const = 0;
397 RuntimeDefinition getRuntimeDefinition() const override { in getRuntimeDefinition()
406 return RuntimeDefinition(AD->getDecl()); in getRuntimeDefinition()
409 return RuntimeDefinition(); in getRuntimeDefinition()
500 RuntimeDefinition getRuntimeDefinition() const override { in getRuntimeDefinition()
501 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