Ted Kremenek f935cfe277 BasicConstraintManager: ... - Fix nonsensical logic in AssumeSymLE. When comparing 'sym <= constant' and the constant is the minimum integer value, add the constraint that 'sym == constant' when the path is deemed feasible. All other cases are feasible. - Improve AssumeSymLT to address <rdar://problem/6407949>. When comparing 'sym < constant' and constant is the minimum integer value we know the path is infeasible. - Add test case for <rdar://problem/6407949>. llvm-svn: 60489		2008-12-03 18:56:12 +00:00
clang	BasicConstraintManager:	2008-12-03 18:56:12 +00:00
llvm	Split foldMemoryOperand into public non-virtual and protected virtual	2008-12-03 18:43:12 +00:00