commit | 68ac94a8d7c7a967ace59c565736d07e80de77e7 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Mon Mar 23 17:10:25 2009 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Mon Mar 23 17:10:25 2009 +0000 |
tree | f3791010962ade3999dd0a4509bbfc25b56a0854 | |
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