https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #2 from jordyruiz at hotmail dot fr --- Hi, I have managed to output a cvc4_operand_visitor.ii file, but it's 77182 lines long, I'm afraid this may not be what you're looking for. I use an Intel Core 2 Duo CPU E6850 @ 3.00GHz. I ran gcc under gdb but I don't see any information about which illegal instruction was hit, sorry. Could you tell me how I could extract that info? Greetings