| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SubEngine.h | 107 ArrayRef<const MemRegion *> Regions,
|
| Store.h | 174 /// invalidateRegions - Clears out the specified regions from the store,
176 /// invalidate additional regions that may have changed based on accessing
177 /// the given regions. Optionally, invalidates non-static globals as well.
182 /// symbols to mark the values of invalidated regions.
184 /// symbols to mark the values of invalidated regions.
189 /// \param[in,out] Regions A vector to fill with any regions being
190 /// invalidated. This should include any regions explicitly invalidated
194 ArrayRef<const MemRegion *> Regions,
240 /// implicit casts that arise from loads from regions that are reinterprete
[all...] |
| ExprEngine.h | 222 ArrayRef<const MemRegion *> Regions,
|
| ProgramState.h | 180 /// Utility method for getting regions.
216 /// invalidateRegions - Returns the state with bindings for the given regions
217 /// cleared from the store. The regions are provided as a continuous array
218 /// from Begin to End. Optionally invalidates global regions as well.
219 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
280 /// \brief Visits the symbols reachable from the regions in the given
381 invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
65 /// MemRegion - The root abstract class for all memory regions.
86 // Untyped regions.
90 // Typed regions.
100 // Decl Regions.
372 /// SubRegion - A region that subsets another larger region. Most regions
435 /// TypedRegion - An abstract class representing regions that are typed.
457 /// TypedValueRegion - An abstract class representing regions having a typed value.
531 /// Blocks are represented with two kinds of regions. BlockTextRegions
572 /// Blocks are represented with two kinds of regions. BlockTextRegion
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CheckerDocumentation.cpp | 191 /// Allows tracking regions which get invalidated.
194 /// \param ExplicitRegions The regions explicitly requested for invalidation.
196 /// \param Regions The transitive closure of accessible regions,
197 /// i.e. all regions that may have been touched by this change.
198 /// \param The call expression wrapper if the regions are invalidated by a
206 ArrayRef<const MemRegion *> Regions,
|
| CStringChecker.cpp | 68 ArrayRef<const MemRegion *> Regions,
646 // FIXME: Handle element regions by upper-bounding the parent region's
651 // Other regions (mostly non-data) can't have a reliable C string length.
734 // Modifying the contents of string regions is undefined [C99 6.4.5p6],
755 // Other regions (mostly non-data) can't have a reliable C string length.
[all...] |
| RetainCountChecker.cpp | [all...] |
| MallocChecker.cpp | 134 ArrayRef<const MemRegion *> Regions,
540 // FIXME: at the time this code was written, malloc() regions were
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| MemRegion.cpp | 1 //== MemRegion.cpp - Abstract memory regions for static analysis --*- C++ -*--//
44 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
50 Regions.InsertNode(R, InsertPos);
62 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
68 Regions.InsertNode(R, InsertPos);
83 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
89 Regions.InsertNode(R, InsertPos);
102 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
108 Regions.InsertNode(R, InsertPos);
121 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID
[all...] |
| ProgramState.cpp | 156 ProgramState::invalidateRegions(ArrayRef<const MemRegion *> Regions,
163 return invalidateRegionsImpl(Regions, E, Count, LCtx,
166 return invalidateRegionsImpl(Regions, E, Count, LCtx, *IS, Call);
170 ProgramState::invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions,
181 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
184 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call);
188 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
214 // We only want to do fetches from regions that we can actually bind
566 // If this is a subregion, also visit the parent regions.
|
| RegionStore.cpp | 88 // raw offsets yet, including regions with symbolic offsets. These will be
247 // Binding values to regions.
256 StoreRef invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions,
462 // We also need to record in the subregion map "intermediate" regions that
463 // don't have direct bindings but are super regions of those that do.
611 StoreManager::InvalidatedRegions *Regions;
622 Ex(ex), Count(count), LCtx(lctx), IS(is), Regions(r) {}
691 if (Regions)
692 Regions->push_back(baseR);
770 ArrayRef<const MemRegion *> Regions,
[all...] |
| CheckerManager.cpp | 428 ArrayRef<const MemRegion *> Regions,
436 ExplicitRegions, Regions, Call);
|
| ExprEngine.cpp | 198 ArrayRef<const MemRegion *> Regions,
201 Explicits, Regions, Call);
[all...] |
| /development/samples/ApiDemos/src/com/example/android/apis/graphics/ |
| Regions.java | 24 public class Regions extends GraphicsActivity {
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 82 typedef llvm::DenseSet<const MemRegion *> Regions;
89 /// A set of regions that are registered with this report as being
92 Regions interestingRegions;
189 /// Ranges are used to highlight regions of interest in the source code.
|
| /external/llvm/lib/Analysis/ |
| RegionInfo.cpp | 9 // Detects single entry single exit regions in the control flow graph.
41 STATISTIC(numRegions, "The # of regions");
42 STATISTIC(numSimpleRegions, "The # of simple regions");
46 cl::desc("style of printing regions"),
50 "print regions in detail with block_iterator"),
52 "print regions in detail with element_iterator"),
66 // Only clean the cache for this Region. Caches of child Regions will be
67 // cleaned when the child Regions are deleted.
614 // Tried to create regions from entry to lastExit. Next time take a
625 // regions from the bottom of the dominance tree. If the small regions ar
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 268 ArrayRef<const MemRegion *> Regions,
271 Explicits, Regions, Call);
|
| CheckerManager.h | 285 /// \param ExplicitRegions The regions explicitly requested for invalidation.
287 /// \param Regions The transitive closure of accessible regions,
288 /// i.e. all regions that may have been touched by this change.
289 /// \param The call expression wrapper if the regions are invalidated by a
295 ArrayRef<const MemRegion *> Regions,
374 ArrayRef<const MemRegion *> Regions,
|
| /external/llvm/include/llvm/Analysis/ |
| RegionInfo.h | 11 // regions.
47 /// iterate in Flat mode. During a Flat mode iteration all Regions are entered
94 /// example a BasicBlock is element of two Regions, there exist two
166 /// Regions.
170 /// Two canonical Regions either do not intersect at all or one is
174 /// Regions in the control flow graph and E is the \e parent relation of these
175 /// Regions.
180 /// A simple control flow graph, that contains two regions.
196 /// <tt> "opt -regions -analyze anyprogram.ll" </tt>
198 /// <tt> "opt -view-regions-only anyprogram.ll" </tt
[all...] |
