Searched refs:hasSymbolicOffset (Results 1 - 4 of 4) sorted by relevance

/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp68 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } function in class:__anon3644::BindingKey
72 assert(!hasSymbolicOffset());
77 assert(hasSymbolicOffset());
82 if (hasSymbolicOffset())
113 if (RO.hasSymbolicOffset())
123 if (!K.hasSymbolicOffset())
773 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
788 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
821 if (TopKey.hasSymbolicOffset()) {
867 } else if (NextKey.hasSymbolicOffset()) {
[all...]
H A DSimpleSValBuilder.cpp823 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) {
/freebsd-10.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h65 bool hasSymbolicOffset() const { return Offset == Symbolic; } function in class:clang::ento::RegionOffset
68 assert(!hasSymbolicOffset());
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp1053 !Offset.hasSymbolicOffset() &&
1341 !Offset.hasSymbolicOffset() &&

Completed in 68 milliseconds