https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |WAITING
Last reconfirmed| |2016-07-18
CC| |trippels at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
The preprocessed cvc4_operand_visitor.ii file.
What processor do you use? Which illegal instruction do you hit?
(Run gcc under gdb and look at the disassembly.)
