Closed JonathanFoo0523 closed 1 month ago
Applying dredd to
int main() { const int a = 0; struct b { int bar[a]; }; }
results in
int main() { const int a = __dredd_replace_expr_int_zero(0, 0); struct b { int bar[a]; }; }
This results in the following compilation error
error: fields must have a constant size: 'variable length array in structure' extension will never be supported
Another one to be solved via rewriting. Are you happy to take it along with the others?
Applying dredd to
results in
This results in the following compilation error