]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfc5e50) | patch
Fixed bogus culling of uninitialized-values "taint" propagation during assignments.
authorTed Kremenek <kremenek@apple.com>
Sat, 24 Nov 2007 20:07:36 +0000 (20:07 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 24 Nov 2007 20:07:36 +0000 (20:07 +0000)
commitff7c538f7c37539bceb99113f7d507cd98daa578
tree7d308a6d87a560806960cc80bc0fa3b10d72b4bbtree | snapshot
parentbfc5e500bfb2febcf2e85588f2f839601b9fc1e0commit | diff
Fixed bogus culling of uninitialized-values "taint" propagation during assignments.
We accidentally were throttling the propagation of uninitialized state across
assignments (e.g. x = y).  Thanks to Anders Carlsson for spotting this problem.

Added test cases to test suite to provide regression testing for the
uninitialized values analysis.

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