Home
last modified time | relevance | path

Searched refs:CreateRangeConstraintManager (Results 1 – 3 of 3) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h200 CreateRangeConstraintManager(ProgramStateManager &statemgr,
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyses.def24 …traints, "range", "Use constraint tracking of concrete value ranges", CreateRangeConstraintManager)
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp311 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() function in ento