fix SIGFPE caused by signed division overflow
commit652eb801d2141b57dca3215e71c55e8356b407a2
authorXi Wang <xi.wang@gmail.com>
Fri, 10 May 2013 21:00:35 +0000 (10 17:00 -0400)
committerChristopher Li <sparse@chrisli.org>
Sat, 11 May 2013 17:57:17 +0000 (11 10:57 -0700)
tree02ce9b968a82b6247c3f3bdc3b523fb9dc60c6fe
parent5449cfbfe55eea2a602a40122c122b5040d67243
fix SIGFPE caused by signed division overflow

Avoid evaluating INT_MIN / -1 and INT_MIN % -1, which will trap on x86
and crash sparse.

Signed-off-by: Xi Wang <xi.wang@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
expand.c
simplify.c
validation/div.c [new file with mode: 0644]