| /frameworks/compile/libbcc/tests/debuginfo/host-tests/ |
| aggregate-indirect-arg.cpp | 8 // CHECK: $1 = (SVal &)
12 class SVal {
14 ~SVal() {}
19 void bar(SVal &v) {}
22 void foo(SVal v) { bar(v); }
26 SVal v;
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SVals.h | 10 // This file defines SVal, Loc, and NonLoc, classes that represent
24 // Base SVal types.
41 /// SVal - This represents a symbolic expression, which can be either
44 class SVal {
63 explicit SVal(const void *d, bool isLoc, unsigned ValKind)
66 explicit SVal(BaseKind k, const void *D = NULL)
70 explicit SVal() : Data(0), Kind(0) {}
72 /// \brief Convert to the specified SVal type, asserting that this SVal is of
78 SVal& sv = t
[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...] |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
53 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
54 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
59 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
85 SVal evalCast(SVal val, QualType castTy, QualType originalType);
87 virtual SVal evalMinus(NonLoc val) = 0;
89 virtual SVal evalComplement(NonLoc val) = 0;
93 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op
[all...] |
| ProgramState.h | 85 Environment Env; // Maps a Stmt to its current SVal.
193 /// \brief Check if the given SVal is constrained to zero or is a zero
195 ConditionTruthVal isNull(SVal V) const;
207 SVal V, bool Invalidate = true) const;
210 SVal V,
213 ProgramStateRef bindLoc(SVal location, SVal V) const;
215 ProgramStateRef bindDefault(SVal loc, SVal V) const;
246 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /external/llvm/test/CodeGen/ARM/ |
| 2010-08-04-StackVariable.ll | 4 %struct.SVal = type { i8*, i32 }
6 define i32 @_Z3fooi4SVal(i32 %i, %struct.SVal* noalias %location) nounwind ssp {
10 call void @llvm.dbg.value(metadata !{%struct.SVal* %location}, i64 0, metadata !25), !dbg !24
15 %1 = getelementptr inbounds %struct.SVal* %location, i32 0, i32 1, !dbg !29 ; <i32*> [#uses=1]
21 %4 = getelementptr inbounds %struct.SVal* %location, i32 0, i32 1, !dbg !30 ; <i32*> [#uses=1]
34 define linkonce_odr void @_ZN4SValC1Ev(%struct.SVal* %this) nounwind ssp align 2 {
37 call void @llvm.dbg.value(metadata !{%struct.SVal* %this}, i64 0, metadata !31), !dbg !34
38 %0 = getelementptr inbounds %struct.SVal* %this, i32 0, i32 0, !dbg !34 ; <i8**> [#uses=1]
40 %1 = getelementptr inbounds %struct.SVal* %this, i32 0, i32 1, !dbg !34 ; <i32*> [#uses=1]
52 %0 = alloca %struct.SVal ; <%struct.SVal*> [#uses=3
[all...] |
| /external/llvm/test/CodeGen/X86/ |
| 2010-08-04-StackVariable.ll | 4 %struct.SVal = type { i8*, i32 }
6 define i32 @_Z3fooi4SVal(i32 %i, %struct.SVal* noalias %location) nounwind ssp {
10 call void @llvm.dbg.value(metadata !{%struct.SVal* %location}, i64 0, metadata !25), !dbg !24
15 %1 = getelementptr inbounds %struct.SVal* %location, i32 0, i32 1, !dbg !29 ; <i32*> [#uses=1]
21 %4 = getelementptr inbounds %struct.SVal* %location, i32 0, i32 1, !dbg !30 ; <i32*> [#uses=1]
34 define linkonce_odr void @_ZN4SValC1Ev(%struct.SVal* %this) nounwind ssp align 2 {
37 call void @llvm.dbg.value(metadata !{%struct.SVal* %this}, i64 0, metadata !31), !dbg !34
38 %0 = getelementptr inbounds %struct.SVal* %this, i32 0, i32 0, !dbg !34 ; <i8**> [#uses=1]
40 %1 = getelementptr inbounds %struct.SVal* %this, i32 0, i32 1, !dbg !34 ; <i32*> [#uses=1]
52 %0 = alloca %struct.SVal ; <%struct.SVal*> [#uses=3
[all...] |
| /frameworks/av/media/libeffects/lvm/lib/Common/src/ |
| MSTo2i_Sat_16x16.c | 33 LVM_INT32 temp,mVal,sVal;
42 sVal=(LVM_INT32)*srcS;
45 temp = mVal + sVal;
61 temp = mVal - sVal;
|
| /external/llvm/test/DebugInfo/X86/ |
| reference-argument.ll | 12 %class.SVal = type { i8*, i32 }
15 declare void @_Z3barR4SVal(%class.SVal* %v)
19 define linkonce_odr void @_ZN1A3fooE4SVal(%class.A* %this, %class.SVal* %v) nounwind ssp uwtable align 2 {
24 call void @llvm.dbg.declare(metadata !{%class.SVal* %v}, metadata !62), !dbg !61
26 call void @_Z3barR4SVal(%class.SVal* %v), !dbg !61
29 declare void @_ZN4SValD1Ev(%class.SVal* %this)
30 declare void @_ZN4SValD2Ev(%class.SVal* %this)
39 !4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"bar", metadata !"bar", metadata !"_Z3barR4SVal", i32 19, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, void (%class.SVal*)* @_Z3barR4SVal, null, null, metadata !2, i32 19} ; [ DW_TAG_subprogram ] [line 19] [def] [bar]
43 !8 = metadata !{i32 786448, null, null, null, i32 0, i64 0, i64 0, i64 0, i32 0, metadata !9} ; [ DW_TAG_reference_type ] [line 0, size 0, align 0, offset 0] [from SVal]
44 !9 = metadata !{i32 786434, metadata !1, null, metadata !"SVal", i32 12, i64 128, i64 64, i32 0, i32 0, null, metadata !10, i32 0, null, null} ; [ DW_TAG_class_t (…)
[all...] |
| /external/antlr/antlr-3.4/runtime/ObjC/Framework/ |
| ANTLRTreePatternLexer.m | 40 @synthesize sval;
55 sval = [[NSMutableData dataWithLength:1000] retain];
56 data = [sval mutableBytes];
71 sval = [[NSMutableData dataWithLength:1000] retain];
72 data = [sval mutableBytes];
86 if ( sval ) [sval release];
179 return sval;
184 if ( sval != aSval ) {
185 if ( sval ) [sval release]
[all...] |
| /ndk/sources/host-tools/nawk-20071023/ |
| tran.c | 78 FS = &fsloc->sval;
79 RS = &setsymtab("RS", "\n", 0.0, STR|DONTFREE, symtab)->sval;
80 OFS = &setsymtab("OFS", " ", 0.0, STR|DONTFREE, symtab)->sval;
81 ORS = &setsymtab("ORS", "\n", 0.0, STR|DONTFREE, symtab)->sval;
82 OFMT = &setsymtab("OFMT", "%.6g", 0.0, STR|DONTFREE, symtab)->sval;
83 CONVFMT = &setsymtab("CONVFMT", "%.6g", 0.0, STR|DONTFREE, symtab)->sval;
84 FILENAME = &setsymtab("FILENAME", "", 0.0, STR|DONTFREE, symtab)->sval;
91 SUBSEP = &setsymtab("SUBSEP", "\034", 0.0, STR|DONTFREE, symtab)->sval;
97 symtabloc->sval = (char *) symtab;
109 cp->sval = (char *) ARGVtab
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundCheckerV2.cpp | 39 void checkLocation(SVal l, bool isLoad, const Stmt*S,
47 SVal byteOffset;
53 RegionRawOffsetV2(const SubRegion* base, SVal offset)
61 SVal location);
68 static SVal computeExtentBegin(SValBuilder &svalBuilder,
84 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
114 SVal lowerBound =
145 SVal upperbound
236 static inline SVal getValue(SVal val, SValBuilder &svalBuilder)
[all...] |
| BoolAssignmentChecker.cpp | 29 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
54 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S,
85 SVal greaterThanOrEqualToZeroVal =
93 // The SValBuilder cannot construct a valid SVal for this condition.
121 SVal lessThanEqToOneVal =
129 // The SValBuilder cannot construct a valid SVal for this condition.
|
| CStringChecker.cpp | 122 ProgramStateRef state, SVal V, QualType Ty);
126 SVal strLength);
127 static SVal getCStringLengthForRegion(CheckerContext &C,
132 SVal getCStringLength(CheckerContext &C,
135 SVal Buf,
141 SVal val) const;
145 const Expr *Ex, SVal V);
154 SVal l) const;
158 SVal l,
197 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
[all...] |
| ObjCSelfInitChecker.cpp | 55 static bool isSelfVar(SVal location, CheckerContext &C);
69 void checkLocation(SVal location, bool isLoad, const Stmt *S,
71 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
112 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
119 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
123 static void addSelfFlag(ProgramStateRef state, SVal val,
125 // We tag the symbol that the SVal wraps.
132 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) {
140 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext())
[all...] |
| /external/antlr/antlr-3.4/runtime/CSharp2/Sources/Antlr3.Runtime/Antlr.Runtime.Tree/ |
| TreePatternLexer.cs | 59 public StringBuilder sval = new StringBuilder(); field in class:Antlr.Runtime.Tree.TreePatternLexer
70 sval.Length = 0; // reset, but reuse buffer
77 sval.Append((char)c);
81 sval.Append((char)c);
112 sval.Append('\\');
114 sval.Append((char)c);
116 sval.Append((char)c);
|
| /external/antlr/antlr-3.4/runtime/CSharp3/Sources/Antlr3.Runtime/Tree/ |
| TreePatternLexer.cs | 60 public StringBuilder sval = new StringBuilder(); field in class:Antlr.Runtime.Tree.TreePatternLexer
73 sval.Length = 0; // reset, but reuse buffer
83 sval.Append( (char)c );
88 sval.Append( (char)c );
129 sval.Append( '\\' );
131 sval.Append( (char)c );
135 sval.Append( (char)c );
|
| /external/antlr/antlr-3.4/runtime/Java/src/main/java/org/antlr/runtime/tree/ |
| TreePatternLexer.java | 53 public StringBuffer sval = new StringBuffer(); field in class:TreePatternLexer
64 sval.setLength(0); // reset, but reuse buffer
71 sval.append((char)c);
76 sval.append((char)c);
107 sval.append('\\');
109 sval.append((char)c);
112 sval.append((char)c);
|
| /external/clang/test/SemaCXX/ |
| constant-expression.cpp | 16 static const int sval = 3; member in struct:Struct
26 v5 = Struct::sval,
32 v11 = true? 1 + cval * Struct::sval ^ itval / (int)1.5 - sizeof(Struct) : 0
39 b5 : Struct::sval,
45 b11 : true? 1 + cval * Struct::sval ^ itval / (int)1.5 - sizeof(Struct) : 0
52 i5 = Struct::sval,
58 i11 = true? 1 + cval * Struct::sval ^ itval / (int)1.5 - sizeof(Struct) : 0
66 case 400 + Struct::sval:
72 case 1000 + (true? 1 + cval * Struct::sval ^
82 template struct C<Struct::sval, Struct::seval>
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| BasicValueFactory.cpp | 24 llvm::ImmutableList<SVal> L) {
36 typedef std::pair<SVal, uintptr_t> SValData;
37 typedef std::pair<SVal, SVal> SValPair;
109 llvm::ImmutableList<SVal> Vals) {
236 const std::pair<SVal, uintptr_t>&
237 BasicValueFactory::getPersistentSValWithData(const SVal& V, uintptr_t Data) {
261 const std::pair<SVal, SVal>&
262 BasicValueFactory::getPersistentSValPair(const SVal& V1, const SVal& V2)
[all...] |
| SVals.cpp | 10 // This file defines SVal, Loc, and NonLoc, classes that represent
24 // Symbol iteration within an SVal.
32 bool SVal::hasConjuredSymbol() const {
51 const FunctionDecl *SVal::getAsFunctionDecl() const {
62 /// \brief If this SVal is a location (subclasses Loc) and wraps a symbol,
69 SymbolRef SVal::getAsLocSymbol(bool IncludeBaseRegions) const {
84 /// Get the symbol in the SVal or its base region.
85 SymbolRef SVal::getLocSymbolInBase() const {
105 /// \brief If this SVal wraps a symbol return that SymbolRef.
111 SymbolRef SVal::getAsSymbol(bool IncludeBaseRegion) const
[all...] |
| ExprEngineObjC.cpp | 27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
28 SVal location = state->getLValue(Ex->getDecl(), baseVal);
64 // through an SVal or through the use of MemRegions. This value can
67 // we can test if the SVal is 0 or if the MemRegion is null (depending
76 SVal elementV;
100 SVal TrueV = svalBuilder.makeTruthVal(1);
104 SVal FalseV = svalBuilder.makeTruthVal(0);
117 SVal V = svalBuilder.makeLoc(Sym);
121 SVal nilV = svalBuilder.makeIntVal(0, T);
161 SVal recVal = UpdatedMsg->getReceiverSVal()
[all...] |
| /libcore/luni/src/test/java/libcore/java/io/ |
| StreamTokenizerTest.java | 30 assertEquals("aib", st.sval);
34 assertEquals("a\u0131b", st.sval);
|
| /external/apache-harmony/luni/src/test/api/common/org/apache/harmony/luni/tests/java/io/ |
| StreamTokenizerTest.java | 49 "d", st.sval);
59 "h", st.sval);
70 "d", st.sval);
80 "h", st.sval);
96 st.nextToken() == 39 && st.sval.equals("h"));
107 && st.sval.equals("d"));
118 && st.sval.equals("d"));
145 assertEquals("sval not converted to lowercase.", "helloworld", st.sval
175 assertTrue("Wrong Token type7: " + st.ttype, st.sval
[all...] |
