diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2009-07-13 02:49:08 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2009-07-13 02:49:08 +0000 |
commit | cf9e07dea8aad32c5e7e2631d135566b20e1763c (patch) | |
tree | b6236c5fb84c073c3faca05ca55d4a3d946687b4 /tools | |
parent | deb052a3dd0227579f86d74b3c1d70384ea5c16b (diff) | |
download | external_llvm-cf9e07dea8aad32c5e7e2631d135566b20e1763c.zip external_llvm-cf9e07dea8aad32c5e7e2631d135566b20e1763c.tar.gz external_llvm-cf9e07dea8aad32c5e7e2631d135566b20e1763c.tar.bz2 |
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
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions