diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2012-05-08 03:27:20 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2012-05-08 03:27:20 +0000 |
| commit | 2cbc12fa24482889159926aab79e361ebe2e7f91 (patch) | |
| tree | ff5b7905dab57ef281ebf0ec4222d474f916a128 /lib/Analysis/FormatString.cpp | |
| 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
Diffstat (limited to 'lib/Analysis/FormatString.cpp')
0 files changed, 0 insertions, 0 deletions