[region] test added

e9427342 · Loïc Correnson · 7c3478ae · e9427342 · e9427342
Commit e9427342 authored 3 months ago by Loïc Correnson
--- a/src/plugins/region/tests/region/index.c
+++ b/src/plugins/region/tests/region/index.c
+void f ( int k ) {
+  struct { int x,y,z[4]; } s ;
+  s.x = 1 ;
+  s.z [ k ] = 0;
+}
--- a/src/plugins/region/tests/region/oracle/index.res.oracle
+++ b/src/plugins/region/tests/region/oracle/index.res.oracle
+[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 ;