commit | 72374594c5d9ade02451bc85cf9dfa5b0ea106e7 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Wed Mar 18 23:49:26 2009 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Wed Mar 18 23:49:26 2009 +0000 |
tree | d7475dd034d40469a544aa36607148907fb34729 | |
parent | eb26eea4cfb9c9b121bdd7d678d8670689819ae0 [diff] |
Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67260 91177308-0d34-0410-b5e6-96231b3b80d8