replace free variables: pointer dereferencing / va_list
/tmp/host/variant_09_injection_0.h:459:40: error: member reference type '__va_list_tag *'
(aka 'struct __va_list_tag *') is a pointer; maybe you meant to use '->'?
uint32_emi_t *__EMI__g_2801 = &(*param.gp_offset);
~~~~~^
->
I'm actually very confused about this issue, I'm not sure what's the problem and what causes it.
The test case is gcc.c-torture_execute_va-arg-14.c
it can be found on /vol/multicore/MetamorphicC_GCC_Testsuite
param is of type va_list
param.gp_offset is an unsigned int