OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:ConcreteInt
(Results
1 - 18
of
18
) 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
532
V.getAs<loc::
ConcreteInt
>() || V.getAs<nonloc::
ConcreteInt
>()) {
581
if (V.getAs<loc::
ConcreteInt
>()) {
594
} else if (Optional<nonloc::
ConcreteInt
> CVal =
595
V.getAs<nonloc::
ConcreteInt
>()) {
623
if (V.getAs<loc::
ConcreteInt
>()) {
630
} else if (Optional<nonloc::
ConcreteInt
> CI =
631
V.getAs<nonloc::
ConcreteInt
>()) {
648
if (V.getAs<loc::
ConcreteInt
>()) {
671
} 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();
MemRegion.cpp
[
all
...]
ProgramState.cpp
280
return loc::
ConcreteInt
(NewV);
282
return nonloc::
ConcreteInt
(NewV);
323
nonloc::
ConcreteInt
Min(BVF.getMinValue(indexTy));
RegionStore.cpp
812
if (Optional<nonloc::
ConcreteInt
> ExtentCI =
813
Extent.getAs<nonloc::
ConcreteInt
>()) {
[
all
...]
ExprEngineC.cpp
[
all
...]
ExprEngine.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
223
return nonloc::
ConcreteInt
(BasicVals.getValue(0, ArrayIndexTy));
227
return nonloc::
ConcreteInt
(BasicVals.getValue(idx, ArrayIndexTy));
232
nonloc::
ConcreteInt
makeIntVal(const IntegerLiteral* integer) {
233
return nonloc::
ConcreteInt
(
238
nonloc::
ConcreteInt
makeBoolVal(const ObjCBoolLiteralExpr *boolean) {
242
nonloc::
ConcreteInt
makeBoolVal(const CXXBoolLiteralExpr *boolean);
244
nonloc::
ConcreteInt
makeIntVal(const llvm::APSInt& integer) {
245
return nonloc::
ConcreteInt
(BasicVals.getValue(integer));
248
loc::
ConcreteInt
makeIntLocVal(const llvm::APSInt &integer) {
249
return loc::
ConcreteInt
(BasicVals.getValue(integer))
[
all
...]
SVals.h
339
class
ConcreteInt
: public NonLoc {
341
explicit
ConcreteInt
(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {}
349
const
ConcreteInt
& R) const;
351
ConcreteInt
evalComplement(SValBuilder &svalBuilder) const;
353
ConcreteInt
evalMinus(SValBuilder &svalBuilder) const;
357
ConcreteInt
() {}
529
class
ConcreteInt
: public Loc {
531
explicit
ConcreteInt
(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {}
539
const
ConcreteInt
& R) const;
543
ConcreteInt
() {}
[
all
...]
MemRegion.h
1017
assert((!Idx.getAs<nonloc::
ConcreteInt
>() ||
1018
Idx.castAs<nonloc::
ConcreteInt
>().getValue().isSigned()) &&
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
StreamChecker.cpp
265
Optional<nonloc::
ConcreteInt
> CI = Whence.getAs<nonloc::
ConcreteInt
>();
BasicObjCFoundationChecks.cpp
449
Optional<nonloc::
ConcreteInt
> V = TheTypeVal.getAs<nonloc::
ConcreteInt
>();
790
if (msg.getArgSVal(I).getAs<loc::
ConcreteInt
>())
[
all
...]
MallocChecker.cpp
[
all
...]
CStringChecker.cpp
574
if (right.getAs<nonloc::
ConcreteInt
>()) {
[
all
...]
Completed in 9332 milliseconds