fix unsound pointer arithmetic: safe pointer will become unknown, null only stays if 0 is added
fix unsound pointer arithmetic: safe pointer will become unknown, null only stays if 0 is added

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