diff --git a/src/plugins/region/tests/region/index.c b/src/plugins/region/tests/region/index.c
new file mode 100644
index 0000000000000000000000000000000000000000..5727f89181b9980ccd5906695c245c889baaf55d
--- /dev/null
+++ b/src/plugins/region/tests/region/index.c
@@ -0,0 +1,5 @@
+void f ( int k ) {
+  struct { int x,y,z[4]; } s ;
+  s.x = 1 ;
+  s.z [ k ] = 0;
+}
diff --git a/src/plugins/region/tests/region/oracle/index.res.oracle b/src/plugins/region/tests/region/oracle/index.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..6d618bf3f0cc15139088ed3419b5c41123dcaf70
--- /dev/null
+++ b/src/plugins/region/tests/region/oracle/index.res.oracle
@@ -0,0 +1,7 @@
+[kernel] Parsing index.c (with preprocessing)
+[region] Analyzing regions
+[region] Function f:
+  R0007: R-- k (int) 32b ;
+  R0001: --- s 192b { .x: R0002; #32b; .z: R0005[4]; } ;
+  R0002: -W- (int) 32b ;
+  R0005: -W- (int) 32b ;