HomeSort by relevance Sort by last modified time
    Searched refs:hasSymbolicOffset (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
RegionStore.cpp 66 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; }
70 assert(!hasSymbolicOffset());
75 assert(hasSymbolicOffset());
80 if (hasSymbolicOffset())
111 if (RO.hasSymbolicOffset())
121 if (!K.hasSymbolicOffset())
706 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
721 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
754 if (TopKey.hasSymbolicOffset()) {
800 } else if (NextKey.hasSymbolicOffset()) {
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h 64 bool hasSymbolicOffset() const { return Offset == Symbolic; }
67 assert(!hasSymbolicOffset());
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
MallocChecker.cpp 762 !Offset.hasSymbolicOffset() &&
    [all...]

Completed in 60 milliseconds