/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
|