Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp442 InterExplodedGraphMap *ForwardMap, in trim() argument
452 Pass2Ty &Pass2 = ForwardMap ? *ForwardMap : Pass2Scratch; in trim()
H A DBugReporter.cpp2572 InterExplodedGraphMap ForwardMap; in BugPathGetter() local
2573 TrimmedGraph = OriginalGraph->trim(Nodes, &ForwardMap); in BugPathGetter()
2581 const ExplodedNode *NewNode = ForwardMap.lookup(Report->getErrorNode()); in BugPathGetter()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h439 InterExplodedGraphMap *ForwardMap = nullptr,
/llvm-project-15.0.7/polly/lib/Analysis/
H A DScopBuilder.cpp781 isl::map ForwardMap = ForwardMap.lex_le(HeaderBBDom.get_space()); in addLoopBoundsToHeaderDomain() local
783 ForwardMap = ForwardMap.equate(isl::dim::in, i, isl::dim::out, i); in addLoopBoundsToHeaderDomain()
791 UnionBackedgeConditionComplement.apply(ForwardMap); in addLoopBoundsToHeaderDomain()