]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c68ab77) | patch
Changed merge operation for uninitialized values analysis to "intersect" (previous...
authorTed Kremenek <kremenek@apple.com>
Sat, 22 Mar 2008 20:11:00 +0000 (20:11 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 22 Mar 2008 20:11:00 +0000 (20:11 +0000)
commit5fb5c6afbb331b87c638fad42f5b37ed697e5580
tree5913c8d778461b7e397c3dc41ba0f4763f30f16ftree | snapshot
parentc68ab77068d1aef6c31f18e941b79201be0f71f3commit | diff
Changed merge operation for uninitialized values analysis to "intersect" (previous union).

The effect is that if a variable is uninitialized along a branch (but initialized along another), at merge points it is considered uninitialized.  Previously we had the opposite behavior.  The new behavior is more conservative, and more in line with gcc's behavior.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48689 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/UninitializedValues.cpp diff | blob | history
test/Analysis/uninit-vals.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.