[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] New: accepting wrong programs because compiler error

2020-03-30 Thread yyelle at rbx dot email
: ada Assignee: unassigned at gcc dot gnu.org Reporter: yyelle at rbx dot email Target Milestone: --- I'm currently studing Ada and using GCC and I found a number of bugs in compiler. It is about Ada 2012. Example buggy code is here: package A is type tp is private