]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1659a6) | patch
analyzer: Provide temporary workaround for false positive reported by
authorTed Kremenek <kremenek@apple.com>
Mon, 23 Mar 2009 17:10:25 +0000 (17:10 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 23 Mar 2009 17:10:25 +0000 (17:10 +0000)
commit68ac94a8d7c7a967ace59c565736d07e80de77e7
treef3791010962ade3999dd0a4509bbfc25b56a0854tree | snapshot
parentd1659a6bd96132ffab70613b23f5716424fa364fcommit | 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
lib/Analysis/SimpleConstraintManager.cpp diff | blob | history
test/Analysis/retain-release.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.