DefExc: excluded ints need to be cast as well since they may overflow. #83
DefExc: excluded ints need to be cast as well since they may overflow. #83

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer