Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.h28 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) in SimpleConstraintManager() argument
29 : SU(subengine), SVB(SB) {} in SimpleConstraintManager()
DRangeConstraintManager.cpp288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager() argument
289 : SimpleConstraintManager(subengine, SVB) {} in RangeConstraintManager()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h153 SubEngine *subengine);
DCoreEngine.h113 CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS) in CoreEngine() argument
114 : SubEng(subengine), WList(WorkList::makeDFS()), in CoreEngine()