diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-03-23 01:21:33 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-03-23 01:21:33 +0000 |
| commit | 8828d356fbd1d692d7ee3c158e687dbe95a5361a (patch) | |
| tree | 06537d92f2c0142e58c63979808f72e623442900 /lldb/scripts/Python/python-extensions.swig | |
| parent | 8eca04b24e70c007c09d8fb9a6ea792109d85618 (diff) | |
| download | bcm5719-llvm-8828d356fbd1d692d7ee3c158e687dbe95a5361a.tar.gz bcm5719-llvm-8828d356fbd1d692d7ee3c158e687dbe95a5361a.zip | |
[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
Diffstat (limited to 'lldb/scripts/Python/python-extensions.swig')
0 files changed, 0 insertions, 0 deletions
