| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
205 llvm::ImmutableList<SVal> Vals);
214 llvm::ImmutableList<SVal> getEmptySValList() {
218 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
205 llvm::ImmutableList<SVal> Vals);
214 llvm::ImmutableList<SVal> getEmptySValList() {
218 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
205 llvm::ImmutableList<SVal> Vals);
214 llvm::ImmutableList<SVal> getEmptySValList() {
218 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
200 llvm::ImmutableList<SVal> Vals);
209 llvm::ImmutableList<SVal> getEmptySValList() {
213 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
200 llvm::ImmutableList<SVal> Vals);
209 llvm::ImmutableList<SVal> getEmptySValList() {
213 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
205 llvm::ImmutableList<SVal> Vals);
214 llvm::ImmutableList<SVal> getEmptySValList() {
218 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| Store.h | 61 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
70 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
96 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
98 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
102 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
114 virtual SVal ArrayToPointer(Loc Array, QualType ElementTy) = 0
[all...] |
| BasicValueFactory.h | 29 llvm::ImmutableList<SVal> L;
32 CompoundValData(QualType t, llvm::ImmutableList<SVal> l)
35 typedef llvm::ImmutableList<SVal>::iterator iterator;
40 llvm::ImmutableList<SVal> L);
73 llvm::ImmutableList<SVal>::Factory SValListFactory;
170 llvm::ImmutableList<SVal> Vals);
175 llvm::ImmutableList<SVal> getEmptySValList() {
179 llvm::ImmutableList<SVal> consVals(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| BasicValueFactory.h | 29 llvm::ImmutableList<SVal> L;
32 CompoundValData(QualType t, llvm::ImmutableList<SVal> l)
35 typedef llvm::ImmutableList<SVal>::iterator iterator;
40 llvm::ImmutableList<SVal> L);
96 llvm::ImmutableList<SVal>::Factory SValListFactory;
196 llvm::ImmutableList<SVal> Vals);
205 llvm::ImmutableList<SVal> getEmptySValList() {
209 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
92 virtual SVal evalMinus(NonLoc val) = 0
[all...] |
| BasicValueFactory.h | 29 llvm::ImmutableList<SVal> L;
32 CompoundValData(QualType t, llvm::ImmutableList<SVal> l)
35 typedef llvm::ImmutableList<SVal>::iterator iterator;
40 llvm::ImmutableList<SVal> L);
96 llvm::ImmutableList<SVal>::Factory SValListFactory;
196 llvm::ImmutableList<SVal> Vals);
205 llvm::ImmutableList<SVal> getEmptySValList() {
209 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
200 llvm::ImmutableList<SVal> Vals);
209 llvm::ImmutableList<SVal> getEmptySValList() {
213 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
200 llvm::ImmutableList<SVal> Vals);
209 llvm::ImmutableList<SVal> getEmptySValList() {
213 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| BasicValueFactory.h | 30 llvm::ImmutableList<SVal> L;
33 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
37 typedef llvm::ImmutableList<SVal>::iterator iterator;
42 llvm::ImmutableList<SVal> L);
100 llvm::ImmutableList<SVal>::Factory SValListFactory;
205 llvm::ImmutableList<SVal> Vals);
214 llvm::ImmutableList<SVal> getEmptySValList() {
218 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
