OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:LocAsInteger
(Results
1 - 7
of
7
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SVals.cpp
71
if (Optional<nonloc::
LocAsInteger
> X = getAs<nonloc::
LocAsInteger
>())
139
if (Optional<nonloc::
LocAsInteger
> X = getAs<nonloc::
LocAsInteger
>())
275
const nonloc::
LocAsInteger
& C = castAs<nonloc::
LocAsInteger
>();
SValBuilder.cpp
424
Loc L = val.castAs<nonloc::
LocAsInteger
>().getLoc();
440
if (Optional<nonloc::
LocAsInteger
> LV = val.getAs<nonloc::
LocAsInteger
>()) {
SimpleConstraintManager.cpp
188
return assume(state, Cond.castAs<nonloc::
LocAsInteger
>().getLoc(),
SimpleSValBuilder.cpp
72
if (Optional<nonloc::
LocAsInteger
> LI = val.getAs<nonloc::
LocAsInteger
>()) {
339
Loc lhsL = lhs.castAs<nonloc::
LocAsInteger
>().getLoc();
343
rhs.castAs<nonloc::
LocAsInteger
>().getLoc(),
[
all
...]
ProgramState.cpp
567
if (Optional<nonloc::
LocAsInteger
> X = val.getAs<nonloc::
LocAsInteger
>())
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SVals.h
368
class
LocAsInteger
: public NonLoc {
371
explicit
LocAsInteger
(const std::pair<SVal, uintptr_t> &data)
399
LocAsInteger
() {}
SValBuilder.h
273
return nonloc::
LocAsInteger
(BasicVals.getPersistentSValWithData(loc, bits));
Completed in 86 milliseconds