diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-05-04 06:35:49 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-05-04 06:35:49 +0000 |
| commit | fd6b4f3de2ef7bb7b9b33dd252078c53ada43977 (patch) | |
| tree | b69227022d7ab74074d83899e07e087e97b1db00 /lib/Frontend/TextDiagnosticPrinter.cpp | |
| parent | cfe1f9d86d4d3b2538ed41a9f5ff313dcd20c6a9 (diff) | |
Handle 'long x = 0; char *y = (char *) x;' by layering an
'ElementRegion' on top of the VarRegion for 'x'. This causes the test
case xfail_wine_crash.c to now pass for BasicStoreManager. It doesn't
crash for RegionStoreManager either, but reports a bogus unintialized
value warning.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70832 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Frontend/TextDiagnosticPrinter.cpp')
0 files changed, 0 insertions, 0 deletions