]> granicus.if.org Git - clang/commit
Fix PR 4631. The compound initializers of unions were not being evaluated, which
authorTed Kremenek <kremenek@apple.com>
Tue, 28 Jul 2009 20:46:55 +0000 (20:46 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 28 Jul 2009 20:46:55 +0000 (20:46 +0000)
commitf3bfa21565b8145afe9b4886770257e890b0b68d
tree82f48e43732104b85b45cb8b24b2c348baa3a550
parentc4e4acb774ee4437227154215e1f602393eb1389
Fix PR 4631. The compound initializers of unions were not being evaluated, which
could cause false positives if any the subexpressions had side-effects. These
initializers weren't evaluated because the StoreManager would need to handle
them, but that's an orthogonal problem of whether or not the StoreManager can
handle the binding.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@77361 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/GRExprEngine.cpp
test/Analysis/uninit-vals-ps.c