commit | cf9e07dea8aad32c5e7e2631d135566b20e1763c | [log] [tgz] |
---|---|---|
author | Nick Lewycky <nicholas@mxc.ca> | Mon Jul 13 02:49:08 2009 +0000 |
committer | Nick Lewycky <nicholas@mxc.ca> | Mon Jul 13 02:49:08 2009 +0000 |
tree | b6236c5fb84c073c3faca05ca55d4a3d946687b4 | |
parent | deb052a3dd0227579f86d74b3c1d70384ea5c16b [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