Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/TableGen/
H A DCodeGenHelpers.h191 using ConstraintMap = llvm::MapVector<Constraint, std::string, variable
195 void emitConstraints(const ConstraintMap &constraints, StringRef selfName,
201 void collectConstraint(ConstraintMap &map, StringRef kind,
206 ConstraintMap typeConstraints;
208 ConstraintMap attrConstraints;
210 ConstraintMap successorConstraints;
212 ConstraintMap regionConstraints;
/llvm-project-15.0.7/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-15.0.7/mlir/tools/mlir-tblgen/
H A DCodeGenHelpers.cpp191 const ConstraintMap &constraints, StringRef selfName, in emitConstraints()
257 void StaticVerifierFunctionEmitter::collectConstraint(ConstraintMap &map, in collectConstraint()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h599 ConstraintMap Constraints;
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp3247 : Constraints(ConstraintMap::Factory().getEmptyMap()) {} in FalsePositiveRefutationBRVisitor()
3289 ConstraintMap NewCs = getConstraintMap(N->getState()); in addConstraints()
3290 ConstraintMap::Factory &CF = N->getState()->get_context<ConstraintMap>(); in addConstraints()
H A DRangeConstraintManager.cpp2198 ConstraintMap ento::getConstraintMap(ProgramStateRef State) { in getConstraintMap()
2199 ConstraintMap::Factory &F = State->get_context<ConstraintMap>(); in getConstraintMap()
2200 ConstraintMap Result = F.getEmptyMap(); in getConstraintMap()