Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h29 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) in SimpleConstraintManager() argument
30 : SU(subengine), SVB(SB) {} in SimpleConstraintManager()
H A DConstraintManager.h201 SubEngine *subengine);
204 CreateZ3ConstraintManager(ProgramStateManager &statemgr, SubEngine *subengine);
H A DCoreEngine.h126 CoreEngine(SubEngine &subengine,
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp57 SubEngine &subengine) { in generateWorkList() argument
75 CoreEngine::CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS, in CoreEngine() argument
77 : SubEng(subengine), WList(generateWorkList(Opts, subengine)), in CoreEngine()