https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708
--- Comment #3 from Eric Botcazou ---
This appears to be sufficient:
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb
index 04d114694ab..f81380846e0 100644
--- a/gcc/ada/exp_util.adb
+++ b/gcc/ada/exp_util.adb
@@ -6076,6 +6076,12 @@
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708
Eric Botcazou changed:
What|Removed |Added
Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot
gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708
Eric Botcazou changed:
What|Removed |Added
Status|NEW |ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708
Eric Botcazou changed:
What|Removed |Added
CC||ebotcazou at gcc dot gnu.org