llvm-project/clang/include
Jordan Rose 8828d356fb [analyzer] Teach constraint managers about unsigned comparisons.
In C, comparisons between signed and unsigned numbers are always done in
unsigned-space. Thus, we should know that "i >= 0U" is always true, even
if 'i' is signed. Similarly, "u >= 0" is also always true, even though '0'
is signed.

Part of <rdar://problem/13239003> (false positives related to std::vector)

llvm-svn: 177806
2013-03-23 01:21:33 +00:00
..
clang [analyzer] Teach constraint managers about unsigned comparisons. 2013-03-23 01:21:33 +00:00
clang-c [Modules] Resolve top-headers of modules lazily. 2013-03-13 21:13:43 +00:00
CMakeLists.txt
Makefile