| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 105 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
177 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(baseR)) {
231 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
299 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR))
370 Failed = isa<TypedValueRegion>(MR);
378 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R
[all...] |
| RegionStore.cpp | 241 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R))
443 const TypedValueRegion *R,
449 const TypedValueRegion* R, SVal V);
453 const TypedValueRegion* R, SVal V);
456 const TypedValueRegion* R,
510 SVal getBindingForLazySymbol(const TypedValueRegion *R);
513 const TypedValueRegion *R,
524 SVal getBindingForStruct(RegionBindingsConstRef B, const TypedValueRegion *R);
525 SVal getBindingForArray(RegionBindingsConstRef B, const TypedValueRegion *R)
[all...] |
| BasicValueFactory.cpp | 31 const TypedValueRegion *region) {
128 const TypedValueRegion *region) {
|
| ExprEngineObjC.cpp | 108 if (const TypedValueRegion *R =
109 dyn_cast<TypedValueRegion>(MV->getRegion())) {
|
| MemRegion.cpp | 183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const {
431 void TypedValueRegion::anchor() { }
957 const TypedValueRegion *Super,
982 if (isa<TypedValueRegion>(Super)) {
983 assert(isValidBaseClass(RD, dyn_cast<TypedValueRegion>(Super), IsVirtual));
[all...] |
| SVals.cpp | 154 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const {
|
| SValBuilder.cpp | 95 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) {
185 const TypedValueRegion *region) {
|
| SymbolManager.cpp | 152 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
188 const TypedValueRegion *R) {
|
| BugReporterVisitors.cpp | 588 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
655 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
[all...] |
| ProgramState.cpp | 263 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
|
| ExprEngine.cpp | 212 const TypedValueRegion *TR = NULL;
[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 | 500 /// TypedValueRegion - An abstract class representing regions having a typed value.
501 class TypedValueRegion : public TypedRegion {
505 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {}
741 class StringRegion : public TypedValueRegion {
747 : TypedValueRegion(sreg, StringRegionKind), Str(str) {}
777 class ObjCStringRegion : public TypedValueRegion {
783 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {}
813 class CompoundLiteralRegion : public TypedValueRegion {
819 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {}
842 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 40 class TypedValueRegion;
128 const TypedValueRegion *R;
131 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
134 const TypedValueRegion* getRegion() const { return R; }
136 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
205 const TypedValueRegion *R;
208 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
212 const TypedValueRegion *getRegion() const { return R; }
219 const TypedValueRegion *r) {
498 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| SValBuilder.h | 164 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
194 SymbolRef parentSymbol, const TypedValueRegion *region);
216 const TypedValueRegion *region) {
|
| SVals.h | 36 class TypedValueRegion;
446 const TypedValueRegion *getRegion() const;
|
| Store.h | 248 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BoolAssignmentChecker.cpp | 58 const TypedValueRegion *TR =
59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion());
|
| DereferenceChecker.cpp | 232 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR);
|
| CallAndMessageChecker.cpp | 153 bool Find(const TypedValueRegion *R) {
|
| BasicObjCFoundationChecks.cpp | 439 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts());
[all...] |
| CStringChecker.cpp | 832 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
[all...] |
