re PR ada/48013 (generic instantiation breaks the No_Elaboration_Code restriction)
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 10 Dec 2015 14:20:50 +0000 (14:20 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Thu, 10 Dec 2015 14:20:50 +0000 (14:20 +0000)
commit102a163189b46c6d6e389817ce39b169f1fdbc9c
treebf87539ebc4e1d4622018afae90ff4cfcc235a65
parent47e5754e17e9ac3b86b88aa57a58baee6d79fe16
re PR ada/48013 (generic instantiation breaks the No_Elaboration_Code restriction)

PR ada/48013
* gcc-interface/trans.c (empty_stmt_list_p): New predicate.
(gigi): Invoke it to compute the No_Elaboration_Code property.
(insert_code_for): Do not insert the code if it's empty.

From-SVN: r231515
gcc/ada/ChangeLog
gcc/ada/gcc-interface/trans.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/specs/elab4.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/specs/elab4_proc.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/specs/elab4_proc.ads [new file with mode: 0644]