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

  /external/clang/lib/StaticAnalyzer/Core/
RegionStore.cpp 68 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; }
72 assert(!hasSymbolicOffset());
77 assert(hasSymbolicOffset());
82 if (hasSymbolicOffset())
113 if (RO.hasSymbolicOffset())
123 if (!K.hasSymbolicOffset())
770 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
785 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
818 if (TopKey.hasSymbolicOffset()) {
864 } else if (NextKey.hasSymbolicOffset()) {
    [all...]
SimpleSValBuilder.cpp 822 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) {
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h 62 bool hasSymbolicOffset() const { return Offset == Symbolic; }
65 assert(!hasSymbolicOffset());
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
MallocChecker.cpp     [all...]

Completed in 75 milliseconds