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
++
Assignee: unassigned at gcc dot gnu.org
Reporter: jordyruiz at hotmail dot fr
Target Milestone: ---
Hello,
I get this error on compiling.
It's asking me to report a bug report.
Is this of any interest? If so, what files would you need to troubleshoot this?
Using gcc version
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #6 from jordyruiz at hotmail dot fr ---
> Also this is most likely GMP not compiled for generic but a specific CPU and
> you don't have a compatible CPU.
>
> Did you compile GMP yourself or did you get it from a distro?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #9 from jordyruiz at hotmail dot fr ---
Alright then, thanks for the troubleshooting guys. Will be more careful when
sharing libraries on different machines.