| commit | 9697934650354bed2e509d8e7e44f21a1fb00f76 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Aug 12 20:02:48 2011 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Aug 12 20:02:48 2011 +0000 |
| tree | 940403e72116150b2e96698bb2c66f7ee810bbcf | |
| parent | 37bee67ea7e8cec219cb7c0f9256a9aa96c0c476 [diff] [blame] |
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't. Patch by Olaf Krzikalla! git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137498 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp b/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp index 85d74ac..b2ac9dd 100644 --- a/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp +++ b/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
@@ -290,7 +290,7 @@ if (!LV) return; - const TypedRegion* R = dyn_cast<TypedRegion>(LV->stripCasts()); + const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts()); if (!R) return;