diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-01-20 17:37:17 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-01-20 17:37:17 +0000 |
| commit | 13bd4236ab8297350be388ab442b4c42eb8fe437 (patch) | |
| tree | 514c51cb7460d8e61dfb7f9261bf9c11c4deb4a8 /lib/CodeGen/CodeGenModule.cpp | |
| parent | 2726267f094a0c1f5ac5b501ec5a9898c58876bf (diff) | |
Add rudimentary path-sensitivity to UnintializedValuesV2
analysis for short-circuited operations. For branch written like "if (x && y)",
we maintain two sets of dataflow values for the outgoing
branches. This suppresses some common false positives
for -Wuninitialized-experimental.
This change introduces some assertion failures
when running on the LLVM codebase. WIP.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123923 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions