add example that shows we are also able to detect right end for pointers
add example that shows we are also able to detect right end for pointers

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