HomeSort by relevance Sort by last modified time
    Searched refs:CFGElement (Results 1 - 12 of 12) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SubEngine.h 23 class CFGElement;
56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
ExprEngine.h 156 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
  /external/clang/include/clang/Analysis/
CFG.h 46 /// CFGElement - Represents a top-level expression in a basic block.
47 class CFGElement {
68 CFGElement(Kind kind, const void *Ptr1, const void *Ptr2 = 0)
73 CFGElement() {}
92 static bool classof(const CFGElement *E) { return true; }
95 class CFGStmt : public CFGElement {
97 CFGStmt(Stmt *S) : CFGElement(Statement, S) {}
103 static bool classof(const CFGElement *E) {
110 class CFGInitializer : public CFGElement {
113 : CFGElement(Initializer, initializer) {
    [all...]
ProgramPoint.h 170 const CFGElement getFirstElement() const {
172 return B->empty() ? CFGElement() : B->front();
  /external/clang/lib/Analysis/
CFGStmtMap.cpp 52 const CFGElement &CE = *I;
CFG.cpp     [all...]
ThreadSafety.cpp 792 case CFGElement::Statement: {
839 // FIXME: Handle other CFGElement kinds.
852 // FIXME: Handle other CFGElement kinds.
    [all...]
LiveVariables.cpp 457 const CFGElement &elem = *it;
  /external/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp 125 const CFGElement &CE = Exit->front();
  /external/clang/include/clang/Analysis/FlowSensitive/
DataflowSolver.h 279 CFGElement El = *I;
295 CFGElement El = *I;
  /external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 213 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,
219 case CFGElement::Invalid:
220 llvm_unreachable("Unexpected CFGElement kind.");
221 case CFGElement::Statement:
224 case CFGElement::Initializer:
227 case CFGElement::AutomaticObjectDtor:
228 case CFGElement::BaseDtor:
229 case CFGElement::MemberDtor:
230 case CFGElement::TemporaryDtor:
414 case CFGElement::AutomaticObjectDtor
    [all...]
CoreEngine.cpp 333 if (CFGElement E = L.getFirstElement()) {

Completed in 773 milliseconds