Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h313 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>; variable
314 ConstraintMap getConstraintMap(ProgramStateRef State);
398 REGISTER_FACTORY_WITH_PROGRAMSTATE(ConstraintMap)
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h598 ConstraintMap Constraints;
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp1757 ConstraintMap ento::getConstraintMap(ProgramStateRef State) { in getConstraintMap()
1758 ConstraintMap::Factory &F = State->get_context<ConstraintMap>(); in getConstraintMap()
1759 ConstraintMap Result = F.getEmptyMap(); in getConstraintMap()
H A DBugReporterVisitors.cpp3166 : Constraints(ConstraintMap::Factory().getEmptyMap()) {} in FalsePositiveRefutationBRVisitor()
3208 ConstraintMap NewCs = getConstraintMap(N->getState()); in addConstraints()
3209 ConstraintMap::Factory &CF = N->getState()->get_context<ConstraintMap>(); in addConstraints()