]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfe1f9d) | patch
Handle 'long x = 0; char *y = (char *) x;' by layering an
authorTed Kremenek <kremenek@apple.com>
Mon, 4 May 2009 06:35:49 +0000 (06:35 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 4 May 2009 06:35:49 +0000 (06:35 +0000)
commitfd6b4f3de2ef7bb7b9b33dd252078c53ada43977
treeb69227022d7ab74074d83899e07e087e97b1db00tree | snapshot
parentcfe1f9d86d4d3b2538ed41a9f5ff313dcd20c6a9commit | 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
lib/Analysis/Store.cpp diff | blob | history
test/Analysis/basicstore_wine_crash.c [new file with mode: 0644] blob
test/Analysis/xfail_regionstore_wine_crash.c [moved from test/Analysis/xfail_wine_crash.c with 100% similarity] blob | history
Unnamed repository; edit this file 'description' to name the repository.