Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DExplodedGraph.cpp349 InterExplodedGraphMap *ForwardMap, in trim() argument
360 Pass2Ty &Pass2 = ForwardMap ? *ForwardMap : Pass2Scratch; in trim()
DBugReporter.cpp2851 InterExplodedGraphMap ForwardMap; in TrimmedGraph() local
2852 G = OriginalGraph->trim(Nodes, &ForwardMap, &InverseMap); in TrimmedGraph()
2860 if (const ExplodedNode *NewNode = ForwardMap.lookup(Nodes[i])) { in TrimmedGraph()
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DExplodedGraph.cpp443 InterExplodedGraphMap *ForwardMap, in trim() argument
453 Pass2Ty &Pass2 = ForwardMap ? *ForwardMap : Pass2Scratch; in trim()
DBugReporter.cpp2547 InterExplodedGraphMap ForwardMap; in BugPathGetter() local
2548 TrimmedGraph = OriginalGraph->trim(Nodes, &ForwardMap); in BugPathGetter()
2556 const ExplodedNode *NewNode = ForwardMap.lookup(Report->getErrorNode()); in BugPathGetter()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h385 InterExplodedGraphMap *ForwardMap = nullptr,
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h441 InterExplodedGraphMap *ForwardMap = nullptr,
/external/llvm-project/polly/lib/Analysis/
DScopBuilder.cpp780 isl::map ForwardMap = ForwardMap.lex_le(HeaderBBDom.get_space()); in addLoopBoundsToHeaderDomain() local
782 ForwardMap = ForwardMap.equate(isl::dim::in, i, isl::dim::out, i); in addLoopBoundsToHeaderDomain()
790 UnionBackedgeConditionComplement.apply(ForwardMap); in addLoopBoundsToHeaderDomain()