| commit | fd6b4f3de2ef7bb7b9b33dd252078c53ada43977 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Mon May 04 06:35:49 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Mon May 04 06:35:49 2009 +0000 |
| tree | b69227022d7ab74074d83899e07e087e97b1db00 | |
| 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