]> granicus.if.org Git - clang/commit
Fix <rdar://problem/6845148>. Signed integers compared against pointers should
authorTed Kremenek <kremenek@apple.com>
Fri, 8 May 2009 00:32:39 +0000 (00:32 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 8 May 2009 00:32:39 +0000 (00:32 +0000)
commit25258f8bfb36e230cc4d42cabb74f4a77ecc64e8
tree473642b58061ad3f3252b10989c8df2cf50ab933
parent5dc0867af17b3bd6f567897433853b2b4767446c
Fix <rdar://problem/6845148>. Signed integers compared against pointers should
implicitly be changed to unsigned values in GRSimpleVals.cpp. This can happen
when the comparison involves logic in specialized transfer functions (e.g.,
OSAtomicCompareAndSwap).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71200 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/GRSimpleVals.cpp
test/Analysis/misc-ps-64.m