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

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

Completed in 19 milliseconds