[Bug ada/48013] generic instantiation breaks the No_Elaboration_Code restriction

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48013

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Author: ebotcazou
Date: Thu Dec 10 14:20:50 2015
New Revision: 231515

URL: https://gcc.gnu.org/viewcvs?rev=231515&root=gcc&view=rev
Log:
        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.

Added:
    trunk/gcc/testsuite/gnat.dg/specs/elab4.ads
    trunk/gcc/testsuite/gnat.dg/specs/elab4_proc.adb
    trunk/gcc/testsuite/gnat.dg/specs/elab4_proc.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gcc-interface/trans.c
    trunk/gcc/testsuite/ChangeLog