OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:ConcreteInt
(Results
1 - 20
of
20
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SVals.cpp
175
return getAs<nonloc::
ConcreteInt
>() || getAs<loc::
ConcreteInt
>();
179
if (Optional<loc::
ConcreteInt
> LV = getAs<loc::
ConcreteInt
>())
181
if (Optional<nonloc::
ConcreteInt
> NV = getAs<nonloc::
ConcreteInt
>())
195
SVal nonloc::
ConcreteInt
::evalBinOp(SValBuilder &svalBuilder,
197
const nonloc::
ConcreteInt
& R) const {
202
return nonloc::
ConcreteInt
(*X);
207
nonloc::
ConcreteInt
[
all
...]
SimpleSValBuilder.cpp
101
if (!val.getAs<nonloc::
ConcreteInt
>())
106
bool b = val.castAs<nonloc::
ConcreteInt
>().getValue().getBoolValue();
115
llvm::APSInt i = val.castAs<nonloc::
ConcreteInt
>().getValue();
169
if (!val.getAs<loc::
ConcreteInt
>())
172
llvm::APSInt i = val.castAs<loc::
ConcreteInt
>().getValue();
190
return val.castAs<nonloc::
ConcreteInt
>().evalMinus(*this);
199
return X.castAs<nonloc::
ConcreteInt
>().evalComplement(*this);
265
return nonloc::
ConcreteInt
(Result);
347
llvm::APSInt i = rhs.castAs<nonloc::
ConcreteInt
>().getValue();
364
llvm::APSInt LHSValue = lhs.castAs<nonloc::
ConcreteInt
>().getValue()
[
all
...]
Store.cpp
434
if (Base.isUnknownOrUndef() || Base.getAs<loc::
ConcreteInt
>())
461
if (!BaseIdx.getAs<nonloc::
ConcreteInt
>())
465
BaseIdx.castAs<nonloc::
ConcreteInt
>().getValue();
470
if (!Offset.getAs<nonloc::
ConcreteInt
>()) {
479
const llvm::APSInt& OffI = Offset.castAs<nonloc::
ConcreteInt
>().getValue();
483
nonloc::
ConcreteInt
NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
SValBuilder.cpp
81
if (Optional<nonloc::
ConcreteInt
> CI = val.getAs<nonloc::
ConcreteInt
>()) {
90
nonloc::
ConcreteInt
SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){
350
if (Optional<nonloc::
ConcreteInt
> rInt = RHS.getAs<nonloc::
ConcreteInt
>())
354
if (Optional<nonloc::
ConcreteInt
> lInt = LHS.getAs<nonloc::
ConcreteInt
>())
BugReporterVisitors.cpp
536
V.getAs<loc::
ConcreteInt
>() || V.getAs<nonloc::
ConcreteInt
>()) {
585
if (V.getAs<loc::
ConcreteInt
>()) {
598
} else if (Optional<nonloc::
ConcreteInt
> CVal =
599
V.getAs<nonloc::
ConcreteInt
>()) {
627
if (V.getAs<loc::
ConcreteInt
>()) {
634
} else if (Optional<nonloc::
ConcreteInt
> CI =
635
V.getAs<nonloc::
ConcreteInt
>()) {
652
if (V.getAs<loc::
ConcreteInt
>()) {
675
} else if (Optional<nonloc::
ConcreteInt
> CV
[
all
...]
SimpleConstraintManager.cpp
182
bool b = Cond.castAs<nonloc::
ConcreteInt
>().getValue() != 0;
221
const llvm::APSInt &IntVal = Value.castAs<nonloc::
ConcreteInt
>().getValue();
ProgramState.cpp
280
return loc::
ConcreteInt
(NewV);
282
return nonloc::
ConcreteInt
(NewV);
323
nonloc::
ConcreteInt
Min(BVF.getMinValue(indexTy));
MemRegion.cpp
645
// Index is a
ConcreteInt
.
646
if (auto CI = ER->getIndex().getAs<nonloc::
ConcreteInt
>()) {
651
// If not a
ConcreteInt
, try to obtain the variable
[
all
...]
RegionStore.cpp
813
if (Optional<nonloc::
ConcreteInt
> ExtentCI =
814
Extent.getAs<nonloc::
ConcreteInt
>()) {
[
all
...]
ExprEngineC.cpp
[
all
...]
ExprEngine.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
228
return nonloc::
ConcreteInt
(BasicVals.getValue(0, ArrayIndexTy));
232
return nonloc::
ConcreteInt
(BasicVals.getValue(idx, ArrayIndexTy));
237
nonloc::
ConcreteInt
makeIntVal(const IntegerLiteral* integer) {
238
return nonloc::
ConcreteInt
(
243
nonloc::
ConcreteInt
makeBoolVal(const ObjCBoolLiteralExpr *boolean) {
247
nonloc::
ConcreteInt
makeBoolVal(const CXXBoolLiteralExpr *boolean);
249
nonloc::
ConcreteInt
makeIntVal(const llvm::APSInt& integer) {
250
return nonloc::
ConcreteInt
(BasicVals.getValue(integer));
253
loc::
ConcreteInt
makeIntLocVal(const llvm::APSInt &integer) {
254
return loc::
ConcreteInt
(BasicVals.getValue(integer))
[
all
...]
SVals.h
341
class
ConcreteInt
: public NonLoc {
343
explicit
ConcreteInt
(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {}
351
const
ConcreteInt
& R) const;
353
ConcreteInt
evalComplement(SValBuilder &svalBuilder) const;
355
ConcreteInt
evalMinus(SValBuilder &svalBuilder) const;
359
ConcreteInt
() {}
534
class
ConcreteInt
: public Loc {
536
explicit
ConcreteInt
(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {}
544
const
ConcreteInt
& R) const;
548
ConcreteInt
() {}
[
all
...]
MemRegion.h
1013
assert((!Idx.getAs<nonloc::
ConcreteInt
>() ||
1014
Idx.castAs<nonloc::
ConcreteInt
>().getValue().isSigned()) &&
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Checkers/
SValExplainer.h
66
std::string VisitLocConcreteInt(loc::
ConcreteInt
V) {
78
std::string VisitNonLocConcreteInt(nonloc::
ConcreteInt
V) {
166
if (auto I = R->getIndex().getAs<nonloc::
ConcreteInt
>())
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPIChecker.cpp
167
const llvm::APSInt &ArrSize = Size.getAs<nonloc::
ConcreteInt
>()->getValue();
/external/clang/lib/StaticAnalyzer/Checkers/
StreamChecker.cpp
265
Optional<nonloc::
ConcreteInt
> CI = Whence.getAs<nonloc::
ConcreteInt
>();
BasicObjCFoundationChecks.cpp
448
Optional<nonloc::
ConcreteInt
> V = TheTypeVal.getAs<nonloc::
ConcreteInt
>();
788
if (msg.getArgSVal(I).getAs<loc::
ConcreteInt
>())
[
all
...]
MallocChecker.cpp
[
all
...]
CStringChecker.cpp
578
if (right.getAs<nonloc::
ConcreteInt
>()) {
[
all
...]
Completed in 262 milliseconds