• Description has changed:

Diff:

--- old
+++ new
@@ -7,5 +7,4 @@
         global_int_pointer2 = &local_int;
     }

-This is annotated as reading global_int and local_int while it really
-doesn't.
+This is annotated as reading global_int and local_int while it really doesn't.