diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-11-21 02:17:47 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-11-21 02:17:47 +0000 |
| commit | 8ea06e95c396aa56a24cc9325d7ac6b27422adcf (patch) | |
| tree | 47c3859503720d322c6b9f7ed1c20adb6e0bb274 /lib/Frontend/PCHWriter.cpp | |
| parent | 98440b4ac17dc5f85ea3db683c1c1785449c17e1 (diff) | |
Add another test case to show the precision of RegionStore over
BasicStore. In this example, BasicStore would lose information about
the pointer in path after '*path++', causing the analyzer to falsely
flag a null dereference. This addresses <rdar://problem/7191542>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89533 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Frontend/PCHWriter.cpp')
0 files changed, 0 insertions, 0 deletions