diff options
| author | Ted Kremenek <kremenek@apple.com> | 2014-03-05 00:01:17 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2014-03-05 00:01:17 +0000 |
| commit | 6d9bb56cd35f865662755936977f4bc691289e2b (patch) | |
| tree | b5081af0710df72e1812f81545b4e693f59d2fff /llvm/lib/Analysis/ConstantFolding.cpp | |
| parent | 1e57976ec0f11f2b606034b33415692c60cf9514 (diff) | |
| download | llvm-6d9bb56cd35f865662755936977f4bc691289e2b.zip llvm-6d9bb56cd35f865662755936977f4bc691289e2b.tar.gz llvm-6d9bb56cd35f865662755936977f4bc691289e2b.tar.bz2 | |
[-Wunreachable-code] Don't warn about dead code guarded by a "configuration value".
Some unreachable code is only "sometimes unreachable" because it
is guarded by a configuration value that is determined at compile
time and is always constant. Sometimes those represent real bugs,
but often they do not. This patch causes the reachability analysis
to cover such branches even if they are technically unreachable
in the CFG itself. There are some conservative heuristics at
play here to determine a "configuration value"; these are intended
to be refined over time.
llvm-svn: 202912
Diffstat (limited to 'llvm/lib/Analysis/ConstantFolding.cpp')
0 files changed, 0 insertions, 0 deletions