| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
216 /// \brief Check if the given SVal is constrained to zero or is a zero
218 ConditionTruthVal isNull(SVal V) const;
230 SVal V, bool Invalidate = true) const;
233 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| TestAfterDivZeroChecker.cpp | 83 void reportBug(SVal Val, CheckerContext &C) const;
89 void setDivZeroMap(SVal Var, CheckerContext &C) const;
90 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
91 bool isZero(SVal S, CheckerContext &C) const;
119 SVal S = State->getSVal(E, Succ->getLocationContext());
138 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {
148 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {
159 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var,
169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {
208 SVal S = C.getSVal(B->getRHS())
[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.
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 86 Environment Env; // Maps a Stmt to its current SVal.
214 /// \brief Check if the given SVal is constrained to zero or is a zero
216 ConditionTruthVal isNull(SVal V) const;
228 SVal V, bool Invalidate = true) const;
231 SVal V,
235 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
237 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
267 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 86 Environment Env; // Maps a Stmt to its current SVal.
214 /// \brief Check if the given SVal is constrained to zero or is a zero
216 ConditionTruthVal isNull(SVal V) const;
228 SVal V, bool Invalidate = true) const;
231 SVal V,
235 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
237 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
267 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /external/libxkbcommon/xkbcommon/src/xkbcomp/ |
| rules.c | 59 struct sval string;
161 static const struct sval rules_mlvo_svals[_MLVO_NUM_ENTRIES] = {
177 static const struct sval rules_kccgst_svals[_KCCGST_NUM_ENTRIES] = {
188 struct sval sval; member in struct:matched_sval
205 struct sval name;
227 struct sval mlvo_value_at_pos[_MLVO_NUM_ENTRIES];
230 struct sval kccgst_value_at_pos[_KCCGST_NUM_ENTRIES];
256 static struct sval
257 strip_spaces(struct sval v
[all...] |
| /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) {
240 const std::pair<SVal, uintptr_t>&
241 BasicValueFactory::getPersistentSValWithData(const SVal& V, uintptr_t Data) {
265 const std::pair<SVal, SVal>&
266 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...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValVisitor.h | 1 //===--- SValVisitor.h - Visitor for SVal subclasses ------------*- C++ -*-===//
26 /// SValVisitor - this class implements a simple visitor for SVal
34 RetTy Visit(SVal V) {
38 #define BASIC_SVAL(Id, Parent) case SVal::Id ## Kind: DISPATCH(Id, Id);
40 case SVal::LocKind:
47 case SVal::NonLocKind:
55 llvm_unreachable("Unknown SVal kind!");
69 RetTy VisitSVal(SVal V) { return RetTy(); }
136 /// SVal, SymExpr and MemRegion subclasses.
|
