Re: [PATCH] Verify allowed stmts before labels

2017-12-13 Thread Jeff Law
On 12/13/2017 07:12 AM, Jakub Jelinek wrote: > Hi! > > PR83391/PR83396 failed because debug bind stmts were put before labels. > Alex said that is undesirable, and that right now we want to allow > just debug begin stmt markers before or intermixed with labels. > > This patch ensures that through

Re: [PATCH] Verify allowed stmts before labels

2017-12-13 Thread Richard Biener
On Wed, 13 Dec 2017, Jakub Jelinek wrote: > Hi! > > PR83391/PR83396 failed because debug bind stmts were put before labels. > Alex said that is undesirable, and that right now we want to allow > just debug begin stmt markers before or intermixed with labels. > > This patch ensures that through v

[PATCH] Verify allowed stmts before labels

2017-12-13 Thread Jakub Jelinek
Hi! PR83391/PR83396 failed because debug bind stmts were put before labels. Alex said that is undesirable, and that right now we want to allow just debug begin stmt markers before or intermixed with labels. This patch ensures that through verification, which is what defines what is and isn't vali