Cross Reference: /external/clang/lib/StaticAnalyzer/Core/RegionStore.cpp

Lines Matching refs:SymbolicRegion

1036   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
1047   if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) {
1276       isa<SymbolicRegion>(MR) ||
1282         const SymbolicRegion *SR = cast<SymbolicRegion>(MR);
1383   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
1910   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
2178   SmallVector<const SymbolicRegion*, 12> Postponed;
2210   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
2240   // Mark the symbol for any SymbolicRegion with live bindings as live itself.
2242   if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR))
2289   for (SmallVectorImpl<const SymbolicRegion*>::iterator
2291     if (const SymbolicRegion *SR = *I) {
2330     if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(Base))

OpenGrok