projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: deb052a) | patch
Fix a bug summing two full sets. The overflow checking doesn't handle sets as
authorNick Lewycky <nicholas@mxc.ca>
Mon, 13 Jul 2009 02:49:08 +0000 (02:49 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Mon, 13 Jul 2009 02:49:08 +0000 (02:49 +0000)
commitcf9e07dea8aad32c5e7e2631d135566b20e1763c
treeb6236c5fb84c073c3faca05ca55d4a3d946687b4tree | snapshot
parentdeb052a3dd0227579f86d74b3c1d70384ea5c16bcommit | diff
Fix a bug summing two full sets. The overflow checking doesn't handle sets as
large as the full set, only those one size smaller. Thanks to Daniel Dunbar
who found this bug using Klee!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75443 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Support/ConstantRange.cpp diff | blob | history
unittests/Support/ConstantRangeTest.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors