| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SubEngine.h | 118 ArrayRef<const MemRegion *> Regions,
135 ArrayRef<const MemRegion *> Regions,
|
| ExprEngine.h | 282 ArrayRef<const MemRegion *> Regions,
487 /// \param[in] ITraits Specifies invalidation traits for regions/symbols.
492 ArrayRef<const MemRegion *> Regions,
562 /// \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
238 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
245 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
306 /// \brief Visits the symbols reachable from the regions in the given
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
76 /// MemRegion - The root abstract class for all memory regions.
97 // Untyped regions.
100 // Typed regions.
111 // Decl Regions.
412 /// SubRegion - A region that subsets another larger region. Most regions
475 /// TypedRegion - An abstract class representing regions that are typed.
497 /// TypedValueRegion - An abstract class representing regions having a typed value.
585 /// Blocks are represented with two kinds of regions. BlockTextRegions
626 /// Blocks are represented with two kinds of regions. BlockTextRegion
[all...] |
| /external/llvm/lib/MC/ |
| MCMachOStreamer.cpp | 172 std::vector<DataRegionData> &Regions = getAssembler().getDataRegions();
173 Regions.push_back(Data);
179 std::vector<DataRegionData> &Regions = getAssembler().getDataRegions();
180 assert(Regions.size() && "Mismatched .end_data_region!");
181 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)
236 // We only want to do fetches from regions that we can actually bind
516 // regions right now.
598 // If this is a subregion, also visit the parent regions.
612 // 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.");
345 /// regions.
382 // Binding values to regions.
552 /// RegionStore's internal analysis. It must always contain all regions and
630 /// Used to determine which global regions are automatically included in the
633 /// Don't include any global regions.
637 /// Include all global regions.
667 /// regions specially included at the start of analysis.
747 assert(R == R->getBaseRegion() && "Should only be called for base regions");
[all...] |
| ExprEngine.cpp | 263 ArrayRef<const MemRegion *> Regions,
266 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 | 72 ArrayRef<const MemRegion *> Regions,
642 // FIXME: Handle element regions by upper-bounding the parent region's
647 // Other regions (mostly non-data) can't have a reliable C string length.
743 // Modifying the contents of string regions is undefined [C99 6.4.5p6],
764 // Other regions (mostly non-data) can't have a reliable C string length.
845 // Invalidate and escape only indirect regions accessible through the source
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 87 typedef llvm::DenseSet<const MemRegion *> Regions;
96 /// A (stack of) set of regions that are registered with this report as being
101 SmallVector<Regions *, 2> interestingRegions;
139 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.
39 STATISTIC(numRegions, "The # of regions");
40 STATISTIC(numSimpleRegions, "The # of simple regions");
44 cl::desc("style of printing regions"),
48 "print regions in detail with block_iterator"),
50 "print regions in detail with element_iterator"),
64 // Only clean the cache for this Region. Caches of child Regions will be
65 // cleaned when the child Regions are deleted.
634 // Tried to create regions from entry to lastExit. Next time take a
645 // 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 | 366 /// \param ExplicitRegions The regions explicitly requested for invalidation.
368 /// \param Regions The transitive closure of accessible regions,
369 /// i.e. all regions that may have been touched by this change.
370 /// \param Call The call expression wrapper if the regions are invalidated
376 ArrayRef<const MemRegion *> Regions,
481 ArrayRef<const MemRegion *> Regions,
|
| /external/llvm/include/llvm/Analysis/ |
| RegionInfo.h | 11 // regions.
59 /// iterate in Flat mode. During a Flat mode iteration all Regions are entered
104 /// example a BasicBlock is element of two Regions, there exist two
176 /// Regions.
180 /// Two canonical Regions either do not intersect at all or one is
184 /// Regions in the control flow graph and E is the \e parent relation of these
185 /// Regions.
190 /// A simple control flow graph, that contains two regions.
206 /// <tt> "opt -regions -analyze anyprogram.ll" </tt>
208 /// <tt> "opt -view-regions-only anyprogram.ll" </tt
[all...] |
| /external/clang/tools/libclang/ |
| Indexing.cpp | 72 /// As an example of different regions separated by preprocessor directives:
86 /// There are 3 regions, with non-consecutive parts:
163 void update(ArrayRef<PPRegion> Regions) {
165 ParsedRegions.insert(Regions.begin(), Regions.end());
[all...] |
| /external/libunwind/doc/ |
| libunwind-dynamic.tex | 41 A procedure logically consists of a sequence of \emph{regions}.
42 Regions are nested in the sense that the frame state at the end of one
53 prologues of several (nested) regions.
151 \item[\Type{unw\_dyn\_region\_info\_t~*}\Var{regions}] A NULL-terminated
213 \section{Regions descriptors}
239 \emph{empty region} and such regions are perfectly legal. In fact,
240 empty regions can be useful to establish a particular frame state
247 two regions: one covering the prologue and one covering the epilogue.
302 Empty regions by definition contain no actual instructions and as such
|
