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 | b82ddd6adaf9da428f657b98041cd7ca45e12309 (patch) | |
| tree | 7ac4d55f451c53a88a365f9e99f4d5f850ba9762 /llvm/lib/CodeGen/SplitKit.h | |
| parent | 47609b088cc82b3aedc3f84955335e354dd92eeb (diff) | |
| download | bcm5719-llvm-b82ddd6adaf9da428f657b98041cd7ca45e12309.tar.gz bcm5719-llvm-b82ddd6adaf9da428f657b98041cd7ca45e12309.zip | |
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.
llvm-svn: 123923
Diffstat (limited to 'llvm/lib/CodeGen/SplitKit.h')
0 files changed, 0 insertions, 0 deletions
