HomeSort by: relevance | last modified time | path
    Searched refs:Symbolic (Results 1 - 7 of 7) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
ValistChecker.cpp 139 bool Symbolic;
142 Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C);
151 if (Symbolic)
191 bool Symbolic;
193 getVAListAsRegion(VAListSVal, VASubExpr, Symbolic, C);
196 if (Symbolic)
310 bool Symbolic;
312 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C);
320 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C);
328 } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) {
    [all...]
  /src/external/apache2/llvm/dist/llvm/include/llvm/Bitcode/
BitcodeAnalyzer.h 41 /// Don't emit numeric info in dump if symbolic info is available.
42 bool Symbolic = false;
  /src/external/apache2/llvm/dist/llvm/tools/llvm-bcanalyzer/
llvm-bcanalyzer.cpp 51 static cl::opt<bool> NonSymbolic("non-symbolic",
53 " symbolic info is available"));
102 O.Symbolic = !NonSymbolic;
  /src/external/apache2/llvm/dist/llvm/lib/Bitcode/Reader/
BitcodeAnalyzer.cpp 23 /// Return a symbolic block name if known, otherwise return null.
86 /// Return a symbolic code name if known, otherwise return null.
780 if (!O->Symbolic && BlockName)
874 if (!O->Symbolic && CodeName)
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h 72 static const int64_t Symbolic = std::numeric_limits<int64_t>::max();
79 bool hasSymbolicOffset() const { return Offset == Symbolic; }
131 /// If this is a symbolic region, returns the region. Otherwise,
132 /// goes up the base chain looking for the first symbolic base region.
752 /// map the concept of symbolic values into the domain of regions. Symbolic
1132 // FIXME: Eventually support symbolic offsets.
1377 /// Retrieve or create a "symbolic" memory region.
1380 /// Return a unique symbolic region belonging to heap memory space.
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
RegionStore.cpp 47 enum { Symbolic = 0x2 };
52 /// Create a key for a binding to region \p r, which has a symbolic offset
55 : P(r, k | Symbolic), Data(reinterpret_cast<uintptr_t>(Base)) {
72 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; }
548 /// return symbolic
887 // region with a symbolic offset. Example:
911 // Case 3: The next key is symbolic and we just changed something within
918 // Case 4: The next key is symbolic, but we changed a known
950 // If we're invalidating a region with a symbolic offset, we need to make
969 // If we're invalidating a region with a symbolic offset, we need to make sur
    [all...]
MemRegion.cpp 1129 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
1348 // FIXME: generalize to symbolic offsets.
1458 // If our base region is symbolic, we don't know what type it really is.
1471 // Base layers on symbolic regions may not be type-correct.
1472 // Double-check the inheritance here, and revert to a symbolic offset
1485 // symbolic offset somewhere in the chain.
1521 // symbolic offset somewhere in the chain.
1543 // treat each field as a symbolic offset so they aren't stored on top
1550 // symbolic offset somewhere in the chain.
1571 return RegionOffset(SymbolicOffsetBase, RegionOffset::Symbolic);
    [all...]

Completed in 59 milliseconds