Re: #include "gmp.h" in system.h via gcc-plugin.h

2015-02-26 Thread David Malcolm
On Thu, 2015-02-26 at 19:51 +0100, Bert Wesarg wrote: > David. > > On Thu, Feb 26, 2015 at 4:54 PM, David Malcolm wrote: > > On Thu, 2015-02-26 at 16:34 +0100, Bert Wesarg wrote: > >> [ Sending to gcc@, in the hope to get a statement from the GCC > >> developers finally. ] > >> > >> On Fri, Feb 2

Re: #include "gmp.h" in system.h via gcc-plugin.h

2015-02-26 Thread Bert Wesarg
David. On Thu, Feb 26, 2015 at 4:54 PM, David Malcolm wrote: > On Thu, 2015-02-26 at 16:34 +0100, Bert Wesarg wrote: >> [ Sending to gcc@, in the hope to get a statement from the GCC >> developers finally. ] >> >> On Fri, Feb 20, 2015 at 2:35 PM, Bert Wesarg >> wrote: >> > On Fri, Feb 20, 2015

Re: #include "gmp.h" in system.h via gcc-plugin.h

2015-02-26 Thread David Malcolm
On Thu, 2015-02-26 at 16:34 +0100, Bert Wesarg wrote: > [ Sending to gcc@, in the hope to get a statement from the GCC > developers finally. ] > > On Fri, Feb 20, 2015 at 2:35 PM, Bert Wesarg > wrote: > > On Fri, Feb 20, 2015 at 1:33 PM, Basile Starynkevitch > > wrote: > >> On Fri, Feb 20, 2015

Re: #include "gmp.h" in system.h via gcc-plugin.h

2015-02-26 Thread Bert Wesarg
[ Sending to gcc@, in the hope to get a statement from the GCC developers finally. ] On Fri, Feb 20, 2015 at 2:35 PM, Bert Wesarg wrote: > On Fri, Feb 20, 2015 at 1:33 PM, Basile Starynkevitch > wrote: >> On Fri, Feb 20, 2015 at 09:25:30AM +0100, Bert Wesarg wrote: >>> [ Cc'ing all known plug-in