OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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