replace free variables: member of array of structs
Checking fail:
/home/gj/metamorphicCL/metamorphiccl/python/mmc_generate.py /home/gj/ocl/gcctestsuite/generic-c99/gcc.c-torture_execute_931004-13.c -o /home/gj/tmp/gcc.c-torture_execute_931004-13 --num-variants 2 --seed 723794 --percentageDead 15 --percentageExpr 10 --percentageGoto 20 --percentageSwitch 30 --noMultithreading --exitonerror
####
/home/gj/metamorphicCL/metamorphiccl/python/mmc_check.py --dir /home/gj/tmp/gcc.c-torture_execute_931004-13 --cc gcc
error:
In file included from /home/gj/tmp/gcc.c-torture_execute_931004-13/variant_1.c:106:
/home/gj/tmp/gcc.c-torture_execute_931004-13/variant_1_injection_1.h:59:31: error: member
reference base type 'struct tiny [3]' is not a structure or union
int8_emi_t *__EMI__g_101 = &x.c[1];
~^~
from the original file:
struct tiny
{
char c;
char d;
char e;
char f;
};
struct tiny x[3];
The replace_free_variables produced:
x.c[1]
I believe that the correct one should be
x[1].c