|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h 136 const llvm::APSInt& getValue(const llvm::APSInt& X);
References
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h 155 return getValue(TargetType.convert(From));
163 return getValue(TargetType.convert(From));
172 return getValue(APSIntType(v).getMaxValue());
176 return getValue(APSIntType(v).getMinValue());
180 return getValue(getAPSIntType(T).getMaxValue());
184 return getValue(getAPSIntType(T).getMinValue());
190 return getValue(X);
196 return getValue(X);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h 152 return &BVF.getValue(Value);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h 291 return nonloc::ConcreteInt(BasicVals.getValue(integer));
295 return loc::ConcreteInt(BasicVals.getValue(integer));
366 return loc::ConcreteInt(BasicVals.getValue(integer));
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 960 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
978 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
1013 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
1020 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
1330 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
1356 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
1399 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
1434 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
1541 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
2286 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))),
tools/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp 110 return getValue(V);
117 return getValue(V);
121 return getValue(getAPSIntType(T).getValue(X));
212 return &getValue( V1 * V2 );
217 return &getValue( V1 / V2 );
222 return &getValue( V1 % V2 );
225 return &getValue( V1 + V2 );
228 return &getValue( V1 - V2 );
250 return &getValue( V1.operator<<( (unsigned) Amt ));
265 return &getValue( V1.operator>>( (unsigned) Amt ));
289 return &getValue( V1 & V2 );
292 return &getValue( V1 | V2 );
295 return &getValue( V1 ^ V2 );
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 49 F.add(newRanges, Range(BV.getValue(Lower), BV.getValue(Upper)));
49 F.add(newRanges, Range(BV.getValue(Lower), BV.getValue(Upper)));
52 newRanges = F.add(newRanges, Range(BV.getValue(Lower), i->To()));
55 newRanges = F.add(newRanges, Range(i->From(), BV.getValue(Upper)));
203 BV.getValue(- from));
213 const llvm::APSInt &newFrom = BV.getValue(- to);
tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp 430 const llvm::APSInt &PersistentResultInt = BV.getValue(ResultInt);
1164 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI));
tools/clang/lib/StaticAnalyzer/Core/Store.cpp 533 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +