diff options
| author | Richard Trieu <rtrieu@google.com> | 2014-04-05 05:17:01 +0000 |
|---|---|---|
| committer | Richard Trieu <rtrieu@google.com> | 2014-04-05 05:17:01 +0000 |
| commit | f935b562b9a70c9b81e9aa4d113712677fd9764f (patch) | |
| tree | 45085d4e3218e41d918ffa72a667e384ed75a9d7 /llvm/lib/Support/LockFileManager.cpp | |
| parent | 98db356cc18e142edc3236cc7da7675209d1403d (diff) | |
| download | llvm-f935b562b9a70c9b81e9aa4d113712677fd9764f.zip llvm-f935b562b9a70c9b81e9aa4d113712677fd9764f.tar.gz llvm-f935b562b9a70c9b81e9aa4d113712677fd9764f.tar.bz2 | |
Add a new subgroup to -Wtautological-compare, -Wtautological-overlap-compare,
which warns on compound conditionals that always evaluate to the same value.
For instance, (x > 5 && x < 3) will always be false since no value for x can
satisfy both conditions.
This patch also changes the CFG to use these tautological values for better
branch analysis. The test for -Wunreachable-code shows how this change catches
additional dead code.
Patch by Anders Rönnholm.
llvm-svn: 205665
Diffstat (limited to 'llvm/lib/Support/LockFileManager.cpp')
0 files changed, 0 insertions, 0 deletions