https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #12 from Jakub Jelinek ---
(In reply to Markus Trippelsdorf from comment #11)
> The issue can be fixed by a microcode/bios update.
> So it is clearly an Intel bug and I don't think anything should change for
> gcc.
The wrong cpuid r
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #11 from Markus Trippelsdorf ---
(In reply to Jakub Jelinek from comment #10)
> Note that with GMP it isn't always just misconfigured GMP, see
> https://bugzilla.redhat.com/show_bug.cgi?id=1331943
> seems some Skylake Pentium/Celeron
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org,
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.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #8 from Andrew Pinski ---
(In reply to jordyruiz from comment #6)
> > 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 g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
Markus Trippelsdorf changed:
What|Removed |Added
Status|WAITING |RESOLVED
Resolution|---
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? If you got it
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #5 from Markus Trippelsdorf ---
(In reply to Andrew Pinski from comment #3)
> (In reply to jordyruiz from comment #2)
> > Hi,
> >
> > I have managed to output a cvc4_operand_visitor.ii file, but it's 77182
> > lines long, I'm afraid
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #4 from Andrew Pinski ---
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? If you got it
from a distro, you s
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #3 from Andrew Pinski ---
(In reply to jordyruiz from comment #2)
> 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
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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
Markus Trippelsdorf changed:
What|Removed |Added
Status|UNCONFIRMED |WAITING
Last reconfirmed|
12 matches
Mail list logo
