https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80784
--- Comment #6 from Eric Botcazou ---
*** Bug 80790 has been marked as a duplicate of this bug. ***
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80784
Eric Botcazou changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80784
--- Comment #4 from Eric Botcazou ---
Author: ebotcazou
Date: Wed May 17 12:51:00 2017
New Revision: 248152
URL: https://gcc.gnu.org/viewcvs?rev=248152&root=gcc&view=rev
Log:
PR ada/80784
Backport from mainline
2017-05-0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80784
Eric Botcazou changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
