| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SubEngine.h | 118 ArrayRef<const MemRegion *> Regions,
135 ArrayRef<const MemRegion *> Regions,
|
| ExprEngine.h | 278 ArrayRef<const MemRegion *> Regions,
484 ArrayRef<const MemRegion *> Regions,
554 /// \brief Conservatively evaluate call by invalidating regions and binding
|
| ProgramState.h | 197 /// Utility method for getting regions.
219 /// \brief Returns the state with bindings for the given regions
222 /// Optionally invalidates global regions as well.
224 /// \param Regions the set of regions to be invalidated.
233 /// \param Call if non-null, the invalidated regions represent parameters to
235 /// \param ConstRegions the set of regions whose contents are accessible,
236 /// even though the regions themselves should not be invalidated.
238 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
246 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
79 /// MemRegion - The root abstract class for all memory regions.
100 // Untyped regions.
103 // Typed regions.
114 // Decl Regions.
415 /// SubRegion - A region that subsets another larger region. Most regions
478 /// TypedRegion - An abstract class representing regions that are typed.
500 /// TypedValueRegion - An abstract class representing regions having a typed value.
588 /// Blocks are represented with two kinds of regions. BlockTextRegions
629 /// Blocks are represented with two kinds of regions. BlockTextRegion
[all...] |
| /external/llvm/lib/MC/ |
| MCMachOStreamer.cpp | 155 std::vector<DataRegionData> &Regions = getAssembler().getDataRegions();
156 Regions.push_back(Data);
162 std::vector<DataRegionData> &Regions = getAssembler().getDataRegions();
163 assert(Regions.size() && "Mismatched .end_data_region!");
164 DataRegionData &Data = Regions.back();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| MemRegion.cpp | 1 //== MemRegion.cpp - Abstract memory regions for static analysis --*- C++ -*--//
45 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
51 Regions.InsertNode(R, InsertPos);
63 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
69 Regions.InsertNode(R, InsertPos);
84 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
90 Regions.InsertNode(R, InsertPos);
103 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID,
109 Regions.InsertNode(R, InsertPos);
122 RegionTy* R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID
[all...] |
| ProgramState.cpp | 139 ProgramState::invalidateRegions(RegionList Regions,
147 for (RegionList::const_iterator I = Regions.begin(),
148 End = Regions.end(); I != End; ++I)
257 // We only want to do fetches from regions that we can actually bind
577 // regions right now.
617 // If this is a subregion, also visit the parent regions.
631 // Regions captured by a block are also implicitly reachable.
|
| CheckerManager.cpp | 474 ArrayRef<const MemRegion *> Regions,
482 ExplicitRegions, Regions, Call);
|
| RegionStore.cpp | 54 assert(r && Base && "Must have known regions.");
61 assert(r && "Must have known regions.");
349 /// regions.
387 // Binding values to regions.
550 /// RegionStore's internal analysis. It must always contain all regions and
627 /// Used to determine which global regions are automatically included in the
630 /// Don't include any global regions.
634 /// Include all global regions.
664 /// regions specially included at the start of analysis.
745 assert(R == R->getBaseRegion() && "Should only be called for base regions");
[all...] |
| ExprEngine.cpp | 261 ArrayRef<const MemRegion *> Regions,
264 Explicits, Regions, Call);
[all...] |
| BugReporter.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CheckerDocumentation.cpp | 219 /// contents of any regions change.
221 /// Since it is not necessarily cheap to compute which regions are being
226 /// \brief Called when the contents of one or more regions change.
234 /// \param ExplicitRegions The regions explicitly requested for invalidation.
237 /// \param Regions The transitive closure of regions accessible from,
238 /// \p ExplicitRegions, i.e. all regions that may have been touched
253 ArrayRef<const MemRegion *> Regions,
|
| MallocChecker.cpp | [all...] |
| CStringChecker.cpp | 70 ArrayRef<const MemRegion *> Regions,
635 // FIXME: Handle element regions by upper-bounding the parent region's
640 // Other regions (mostly non-data) can't have a reliable C string length.
723 // Modifying the contents of string regions is undefined [C99 6.4.5p6],
744 // Other regions (mostly non-data) can't have a reliable C string length.
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 86 typedef llvm::DenseSet<const MemRegion *> Regions;
95 /// A (stack of) set of regions that are registered with this report as being
100 SmallVector<Regions *, 2> interestingRegions;
138 Regions &getInterestingRegions();
281 /// Ranges are used to highlight regions of interest in the source code.
|
| /development/samples/ApiDemos/src/com/example/android/apis/graphics/ |
| Regions.java | 24 public class Regions extends GraphicsActivity {
|
| /external/llvm/lib/Analysis/ |
| RegionInfo.cpp | 9 // Detects single entry single exit regions in the control flow graph.
40 STATISTIC(numRegions, "The # of regions");
41 STATISTIC(numSimpleRegions, "The # of simple regions");
45 cl::desc("style of printing regions"),
49 "print regions in detail with block_iterator"),
51 "print regions in detail with element_iterator"),
65 // Only clean the cache for this Region. Caches of child Regions will be
66 // cleaned when the child Regions are deleted.
632 // Tried to create regions from entry to lastExit. Next time take a
643 // regions from the bottom of the dominance tree. If the small regions ar
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 298 ArrayRef<const MemRegion *> Regions,
301 Explicits, Regions, Call);
|
| CheckerManager.h | 345 /// \param ExplicitRegions The regions explicitly requested for invalidation.
347 /// \param Regions The transitive closure of accessible regions,
348 /// i.e. all regions that may have been touched by this change.
349 /// \param Call The call expression wrapper if the regions are invalidated
355 ArrayRef<const MemRegion *> Regions,
458 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
92 /// example a BasicBlock is element of two Regions, there exist two
164 /// Regions.
168 /// Two canonical Regions either do not intersect at all or one is
172 /// Regions in the control flow graph and E is the \e parent relation of these
173 /// Regions.
178 /// A simple control flow graph, that contains two regions.
194 /// <tt> "opt -regions -analyze anyprogram.ll" </tt>
196 /// <tt> "opt -view-regions-only anyprogram.ll" </tt
[all...] |
| /external/clang/tools/libclang/ |
| Indexing.cpp | 71 /// As an example of different regions separated by preprocessor directives:
85 /// There are 3 regions, with non-consecutive parts:
162 void update(ArrayRef<PPRegion> Regions) {
164 ParsedRegions.insert(Regions.begin(), Regions.end());
[all...] |
