| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 94 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
166 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(baseR)) {
220 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
288 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR))
359 Failed = isa<TypedValueRegion>(MR);
367 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| BasicValueFactory.h | 47 const TypedValueRegion *region;
49 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r)
53 const TypedValueRegion *getRegion() const { return region; }
57 const TypedValueRegion *region);
173 const TypedValueRegion *region);
|
| MemRegion.h | 493 /// TypedValueRegion - An abstract class representing regions having a typed value.
494 class TypedValueRegion : public TypedRegion {
498 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {}
737 class StringRegion : public TypedValueRegion {
743 : TypedValueRegion(sreg, StringRegionKind), Str(str) {}
773 class ObjCStringRegion : public TypedValueRegion {
779 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {}
809 class CompoundLiteralRegion : public TypedValueRegion {
815 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {}
838 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 38 class TypedValueRegion;
43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
49 const TypedValueRegion* getRegion() const { return R; }
51 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
119 const TypedValueRegion *R;
122 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
126 const TypedValueRegion *getRegion() const { return R; }
134 const TypedValueRegion *r) {
413 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BoolAssignmentChecker.cpp | 58 const TypedValueRegion *TR =
59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion());
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 493 /// TypedValueRegion - An abstract class representing regions having a typed value.
494 class TypedValueRegion : public TypedRegion {
498 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {}
737 class StringRegion : public TypedValueRegion {
743 : TypedValueRegion(sreg, StringRegionKind), Str(str) {}
773 class ObjCStringRegion : public TypedValueRegion {
779 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {}
809 class CompoundLiteralRegion : public TypedValueRegion {
815 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {}
838 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 38 class TypedValueRegion;
43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
49 const TypedValueRegion* getRegion() const { return R; }
51 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
119 const TypedValueRegion *R;
122 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
126 const TypedValueRegion *getRegion() const { return R; }
134 const TypedValueRegion *r) {
417 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 38 class TypedValueRegion;
43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
52 const TypedValueRegion* getRegion() const { return R; }
54 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
130 const TypedValueRegion *R;
133 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
141 const TypedValueRegion *getRegion() const { return R; }
149 const TypedValueRegion *r) {
455 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 38 class TypedValueRegion;
43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
52 const TypedValueRegion* getRegion() const { return R; }
54 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
130 const TypedValueRegion *R;
133 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
141 const TypedValueRegion *getRegion() const { return R; }
149 const TypedValueRegion *r) {
455 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 38 class TypedValueRegion;
43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
52 const TypedValueRegion* getRegion() const { return R; }
54 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
130 const TypedValueRegion *R;
133 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
141 const TypedValueRegion *getRegion() const { return R; }
149 const TypedValueRegion *r) {
455 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 38 class TypedValueRegion;
43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
52 const TypedValueRegion* getRegion() const { return R; }
54 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
130 const TypedValueRegion *R;
133 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
141 const TypedValueRegion *getRegion() const { return R; }
149 const TypedValueRegion *r) {
455 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 38 class TypedValueRegion;
43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
52 const TypedValueRegion* getRegion() const { return R; }
54 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
130 const TypedValueRegion *R;
133 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
141 const TypedValueRegion *getRegion() const { return R; }
149 const TypedValueRegion *r) {
455 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 493 /// TypedValueRegion - An abstract class representing regions having a typed value.
494 class TypedValueRegion : public TypedRegion {
498 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {}
737 class StringRegion : public TypedValueRegion {
743 : TypedValueRegion(sreg, StringRegionKind), Str(str) {}
773 class ObjCStringRegion : public TypedValueRegion {
779 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {}
809 class CompoundLiteralRegion : public TypedValueRegion {
815 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {}
838 class DeclRegion : public TypedValueRegion {
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 510 /// TypedValueRegion - An abstract class representing regions having a typed value.
511 class TypedValueRegion : public TypedRegion {
515 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {
779 class StringRegion : public TypedValueRegion {
785 : TypedValueRegion(sreg, StringRegionKind), Str(str) {
817 class ObjCStringRegion : public TypedValueRegion {
824 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {
856 class CompoundLiteralRegion : public TypedValueRegion {
863 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {
890 class DeclRegion : public TypedValueRegion {
[all...] |
