Use norm function to go to top if a signed or unsigned overflow occurred
Use norm function to go to top if a signed or unsigned overflow occurred

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