Home
last modified time | relevance | path

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

/llvm-project/mlir/include/mlir/TableGen/
H A DCodeGenHelpers.h197 using ConstraintMap = llvm::MapVector<Constraint, std::string, variable
201 void emitConstraints(const ConstraintMap &constraints, StringRef selfName,
207 void collectConstraint(ConstraintMap &map, StringRef kind,
212 ConstraintMap typeConstraints;
214 ConstraintMap attrConstraints;
216 ConstraintMap successorConstraints;
218 ConstraintMap regionConstraints;
/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DZ3CrosscheckVisitor.cpp48 : Constraints(ConstraintMap::Factory().getEmptyMap()), Result(Result), in finalizeVisitor()
115 ConstraintMap NewCs = getConstraintMap(N->getState()); in VisitNode()
116 ConstraintMap::Factory &CF = N->getState()->get_context<ConstraintMap>(); in VisitNode()
H A DRangeConstraintManager.cpp2280 ConstraintMap ento::getConstraintMap(ProgramStateRef State) { in getConstraintMap()
2281 ConstraintMap::Factory &F = State->get_context<ConstraintMap>(); in getConstraintMap()
2282 ConstraintMap Result = F.getEmptyMap();
/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h404 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>; variable
405 ConstraintMap getConstraintMap(ProgramStateRef State);
500 REGISTER_FACTORY_WITH_PROGRAMSTATE(ConstraintMap)
/llvm-project/mlir/lib/TableGen/
H A DCodeGenHelpers.cpp192 const ConstraintMap &constraints, StringRef selfName, in emitConstraints()
258 void StaticVerifierFunctionEmitter::collectConstraint(ConstraintMap &map, in collectConstraint()
/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DZ3CrosscheckVisitor.h48 ConstraintMap Constraints;