| commit | 2cbc12fa24482889159926aab79e361ebe2e7f91 | [log] [tgz] |
|---|---|---|
| author | Jordy Rose <jediknil@belkadan.com> | Tue May 08 03:27:20 2012 +0000 |
| committer | Jordy Rose <jediknil@belkadan.com> | Tue May 08 03:27:20 2012 +0000 |
| tree | ff5b7905dab57ef281ebf0ec4222d474f916a128 | |
| parent | 1d8db493f86761df9470254a2ad572fc6abf1bf6 [diff] |
[analyzer] BasicConstraintManager: drop NE-constraints once we have a value. This could conceivably cut down on state proliferation, although we don't use BasicConstraintManager by default anymore. No functionality change. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156362 91177308-0d34-0410-b5e6-96231b3b80d8