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