| commit | 6654fbade802222c6edb298eec682a417777728c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 7 Jan 2012 16:11:00 +0000 (7 17:11 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 6 Mar 2012 12:02:17 +0000 (6 13:02 +0100) | ||
| tree | 7a1fde19f08898df5444bf9df89fc0d1fb7b123c | treesnapshot (tar.gz zip) |
| parent | 91de9a4e56395ed8f00952627dc29c85b3062027 | commitdiff |
avoid overflows on signed integers
In particular, remove those values from the context that necessarily
lead to overflows.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, remove those values from the context that necessarily
lead to overflows.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
15 files changed:
| scan.cc | diffblobblamehistory | |
| tests/cuervo.c | [new file with mode: 0644] | blob |
| tests/cuervo.scop | [new file with mode: 0644] | blob |
| tests/inc4.c | [new file with mode: 0644] | blob |
| tests/inc4.scop | [copied from tests/min.scop with 77% similarity] | diffblobblamehistory |
| tests/loop5.c | [new file with mode: 0644] | blob |
| tests/loop5.scop | [new file with mode: 0644] | blob |
| tests/min.scop | diffblobblamehistory | |
| tests/min2.scop | diffblobblamehistory | |
| tests/shortcut1.c | [new file with mode: 0644] | blob |
| tests/shortcut1.scop | [new file with mode: 0644] | blob |
| tests/shortcut2.c | [new file with mode: 0644] | blob |
| tests/shortcut2.scop | [new file with mode: 0644] | blob |
| tests/unsigned1.scop | diffblobblamehistory | |
| tests/wdp.scop | diffblobblamehistory |