Do not set overflow flag on bot; Set in on going to top in shift
Do not set overflow flag on bot; Set in on going to top in shift

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