]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 276c6ac) | patch
SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic
authorTed Kremenek <kremenek@apple.com>
Wed, 11 Mar 2009 02:29:48 +0000 (02:29 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 11 Mar 2009 02:29:48 +0000 (02:29 +0000)
commit7de20fe9aac00705dd943690563db66fa4b35b5b
tree63610c56f2603e7722290ae5fe408d17e8c0cf40tree | snapshot
parent276c6aca0e9cd2bbd5533493612f67767544d839commit | diff
SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic
values. Indicating this in 'canReasonAbout' allows GRExprEngine to recover
path-sensitivity in some cases.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66628 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/SimpleConstraintManager.cpp diff | blob | history
test/Analysis/misc-ps.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.