commit fff9f4aaafd2735e96f76148caa337c6a8ac73de
author Ted Kremenek <kremenek@apple.com> Wed Dec 03 19:06:30 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Dec 03 19:06:30 2008 +0000
tree 5a22ea57646d930c978062c87b6f2c0ec339c4eb
parent f935cfe277fbf839ba149b45b6d27418a8e16a8c

BasicConstraintManager:
- Fix nonsensical logic in AssumeSymGE. When comparing 'sym >= constant' and the
  constant is the maximum integer value, add the constraint that 'sym ==
  constant' when the path is deemed feasible.  All other cases are feasible.
- Improve AssumeSymGT. When comparing 'sym > constant' and constant is the
  maximum integer value we know the path is infeasible.
- Add test case for this enhancement to AssumeSymGT.

llvm-svn: 60490