KNOWNBUG gcc-only
main.c

^EXIT=1$
^SIGNAL=0$
argument expected to be lvalue
--
--
The C front-end should catch the problem during type checking, and not leave it
to goto-program conversion to detect the problem.
