| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder();
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
87 svalBuilder.getConditionType());
93 // The SValBuilder cannot construct a valid SVal for this condition.
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
123 svalBuilder.getConditionType());
129 // The SValBuilder cannot construct a valid SVal for this condition
[all...] |
| BuiltinFunctionChecker.cpp | 70 SValBuilder& svalBuilder = C.getSValBuilder();
71 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
73 svalBuilder.evalEQ(state, Extent, Size);
88 SValBuilder &SVB = C.getSValBuilder();
|
| ArrayBoundCheckerV2.cpp | 60 SValBuilder &svalBuilder,
68 static SVal computeExtentBegin(SValBuilder &svalBuilder,
73 return svalBuilder.makeZeroArrayIndex();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
102 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV
[all...] |
| VLASizeChecker.cpp | 134 SValBuilder &svalBuilder = C.getSValBuilder();
137 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty);
139 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
156 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
160 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
163 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
169 state->getRegion(VD, LC)->getExtent(svalBuilder);
172 svalBuilder.evalEQ(state, Extent, ArraySize);
|
| StreamChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder();
215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
42 SValBuilder &svalBuilder;
88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
313 // FIXME: Remove when we migrate over to just using SValBuilder.
478 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
482 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
489 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| ProgramState.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
466 std::unique_ptr<SValBuilder> svalBuilder;
488 ASTContext &getContext() { return svalBuilder->getContext(); }
489 const ASTContext &getContext() const { return svalBuilder->getContext(); }
492 return svalBuilder->getBasicValueFactory();
495 SValBuilder &getSValBuilder() {
496 return *svalBuilder;
500 return svalBuilder->getSymbolManager();
503 return svalBuilder->getSymbolManager()
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
41 SValBuilder &svalBuilder;
111 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
311 // FIXME: Remove when we migrate over to just using SValBuilder.
476 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
480 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
503 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| ProgramState.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
465 std::unique_ptr<SValBuilder> svalBuilder;
487 ASTContext &getContext() { return svalBuilder->getContext(); }
488 const ASTContext &getContext() const { return svalBuilder->getContext(); }
491 return svalBuilder->getBasicValueFactory();
494 SValBuilder &getSValBuilder() {
495 return *svalBuilder;
499 return svalBuilder->getSymbolManager();
502 return svalBuilder->getSymbolManager()
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
41 SValBuilder &svalBuilder;
111 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
311 // FIXME: Remove when we migrate over to just using SValBuilder.
476 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
480 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
503 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
41 SValBuilder &svalBuilder;
111 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
311 // FIXME: Remove when we migrate over to just using SValBuilder.
476 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
480 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
503 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
41 SValBuilder &svalBuilder;
111 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
311 // FIXME: Remove when we migrate over to just using SValBuilder.
476 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
480 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
503 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
41 SValBuilder &svalBuilder;
111 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
311 // FIXME: Remove when we migrate over to just using SValBuilder.
476 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
480 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
503 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
41 SValBuilder &svalBuilder;
111 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
311 // FIXME: Remove when we migrate over to just using SValBuilder.
476 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
480 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
503 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
41 SValBuilder &svalBuilder;
111 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
311 // FIXME: Remove when we migrate over to just using SValBuilder.
476 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
480 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
503 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
41 SValBuilder &svalBuilder;
111 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
311 // FIXME: Remove when we migrate over to just using SValBuilder.
476 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
480 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
503 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
