How to disable "noreturn" attribute propagation/handling?

2017-04-21 Thread Thomas Schwinge
Hi! On Tue, 20 May 2014 13:21:06 +0200, Tom de Vries wrote: > On 17/05/14 17:53, Tom de Vries wrote: > > On 16/05/14 22:28, Thomas Schwinge wrote: > >> > It may make sense to have an abort function available in PTX land. ... which we've now had for a long time. However, I recently noticed that

Machine problems at gcc.gnu.org?

2017-04-21 Thread Steve Ellcey
I am having problems getting to https://gcc.gnu.org this morning and I have also had problems getting to the glibc mail archives though the main web page for glibc seem available. Anyone else having problems? Of course if this email goes through the machines that are having problems it may not ge

Re: Machine problems at gcc.gnu.org?

2017-04-21 Thread Markus Trippelsdorf
On 2017.04.21 at 09:17 -0700, Steve Ellcey wrote: > > I am having problems getting to https://gcc.gnu.org this morning and > I have also had problems getting to the glibc mail archives though the > main web page for glibc seem available. Anyone else having problems? > Of course if this email goes

Re: Machine problems at gcc.gnu.org?

2017-04-21 Thread H.J. Lu
On Fri, Apr 21, 2017 at 9:17 AM, Steve Ellcey wrote: > > I am having problems getting to https://gcc.gnu.org this morning and > I have also had problems getting to the glibc mail archives though the > main web page for glibc seem available. Anyone else having problems? > Of course if this email g

Re: Machine problems at gcc.gnu.org?

2017-04-21 Thread David Edelsohn
gcc.gnu.org and sourceware.org are hosted by Red Hat datacenter, which apparently experienced a widespread problem. http://status.redhat.com/ On Fri, Apr 21, 2017 at 12:17 PM, Steve Ellcey wrote: > > I am having problems getting to https://gcc.gnu.org this morning and > I have also had problems