diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-23 17:10:25 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-23 17:10:25 +0000 |
| commit | b294d196b309c7a39ecded3d5eae99ac1340b2b2 (patch) | |
| tree | 2c7005e5b94b82b26cab436f972ad5a7c5d1d0fd /llvm/lib/Bitcode/Writer/BitcodeWriter.cpp | |
| parent | d6b05f705b2888137615d619e9a5a4d3ce8f2f11 (diff) | |
| download | llvm-b294d196b309c7a39ecded3d5eae99ac1340b2b2.zip llvm-b294d196b309c7a39ecded3d5eae99ac1340b2b2.tar.gz llvm-b294d196b309c7a39ecded3d5eae99ac1340b2b2.tar.bz2 | |
analyzer: Provide temporary workaround for false positive reported by
<rdar://problem/6704930> involving SimpleConstraintManager not reasoning well
about symbolic constraint values involving arithmetic operators.
llvm-svn: 67534
Diffstat (limited to 'llvm/lib/Bitcode/Writer/BitcodeWriter.cpp')
0 files changed, 0 insertions, 0 deletions