Re: [PING] Advise to call 'internal_error' instead of 'abort' or 'fancy_abort'

2022-05-17 Thread Richard Biener via Gcc-patches
On Tue, May 17, 2022 at 12:15 PM Thomas Schwinge wrote: > > Hi! > > Ping. OK. > > Grüße > Thomas > > > On 2022-05-10T16:03:12+0200, I wrote: > > Hi! > > > > On 2022-05-03T15:46:43+0200, Richard Biener > > wrote: > >> On Tue, May 3, 2022 at 2:29 PM Thomas Schwinge > >> wrote: > >>> On 2022-0

[PING] Advise to call 'internal_error' instead of 'abort' or 'fancy_abort'

2022-05-17 Thread Thomas Schwinge
Hi! Ping. Grüße Thomas On 2022-05-10T16:03:12+0200, I wrote: > Hi! > > On 2022-05-03T15:46:43+0200, Richard Biener > wrote: >> On Tue, May 3, 2022 at 2:29 PM Thomas Schwinge >> wrote: >>> On 2022-05-03T12:53:50+0200, Richard Biener >>> wrote: >>> > On Tue, May 3, 2022 at 10:16 AM Thomas