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 | 68ac94a8d7c7a967ace59c565736d07e80de77e7 (patch) | |
| tree | f3791010962ade3999dd0a4509bbfc25b56a0854 /lib/Driver/OptTable.cpp | |
| parent | d1659a6bd96132ffab70613b23f5716424fa364f (diff) | |
analyzer: Provide temporary workaround for false positive reported by
<rdar://problem/6704930> involving SimpleConstraintManager not reasoning well
about symbolic constraint values involving arithmetic operators.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67534 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Driver/OptTable.cpp')
0 files changed, 0 insertions, 0 deletions