| commit | 13bd4236ab8297350be388ab442b4c42eb8fe437 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Jan 20 17:37:17 2011 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Jan 20 17:37:17 2011 +0000 |
| tree | 514c51cb7460d8e61dfb7f9261bf9c11c4deb4a8 | |
| 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