[Bug ada/94419] accepting wrong programs because compiler error

2020-04-05 Thread yyelle at rbx dot email
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94419 Uriy changed: What|Removed |Added Attachment #48205|0 |1 is obsolete|

[Bug ada/94419] accepting wrong programs because compiler error

2020-04-05 Thread yyelle at rbx dot email
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94419 --- Comment #3 from Uriy --- Created attachment 48205 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48205=edit example code

[Bug ada/94419] accepting wrong programs because compiler error

2020-04-05 Thread yyelle at rbx dot email
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94419 --- Comment #2 from Uriy --- Thank you for reply. Recently I test gcc 9.3.0 and it report some errors in the example code. But I modify it slightly and it works with no errors. I think the code is enough clear to see what exact clauses RM are

[Bug ada/94419] accepting wrong programs because compiler error

2020-04-04 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94419 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |WAITING CC|