| commit | c5234715f145b5fa0a3a08fed33b83a3203728ae | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Oct 17 21:22:20 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Oct 17 21:22:20 2008 +0000 |
| tree | f3416b6a02085f24c0701ebef057c9d7cd7f4f85 | |
| parent | 4bd1eefd48c70ebef185e524d0484c00f16000cf [diff] |
Enhance "Assumption" logic in BasicConstraintManager when reasoning about regions and symbolic regions. When assuming whether or not a location is non-null, walk up the region hierarchy until we hit a symbolic region (and test it for null). This may not be the end all solution, as the notion of what a "symbolic region" is really belongs in the specific subclass of StoreManager. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57730 91177308-0d34-0410-b5e6-96231b3b80d8