diff --git a/src/plugins/e-acsl/tests/runtime/local_init.c b/src/plugins/e-acsl/tests/runtime/local_init.c
new file mode 100644
index 0000000000000000000000000000000000000000..f1affb77b1dfc010840ff7344206f2fb0b29c258
--- /dev/null
+++ b/src/plugins/e-acsl/tests/runtime/local_init.c
@@ -0,0 +1,17 @@
+/* run.config
+   COMMENT: test of a local initializer which contains an annotation
+   STDOPT: #"-val -value-verbose 0 -lib-entry -e-acsl-prepare -machdep gcc_x86_64 -then"
+*/
+
+int X = 0;
+int *p = &X;
+
+int f(void) {
+  int x = *p; // Eva add an alarms on this statement
+  return x;
+}
+
+int main(void) {
+  f();
+  return 0;
+}