A declaration for Is_Elaborated was emitted but never referenced. No functional change.
Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-29 Tristan Gingold <ging...@adacore.com> * bindgen.adb (Gen_Output_File_Ada): Do not emit declaration for Is_Elaborated if not referenced.
Index: bindgen.adb =================================================================== --- bindgen.adb (revision 192922) +++ bindgen.adb (working copy) @@ -2394,8 +2394,13 @@ -- The B.1 (39) implementation advice says that the adainit/adafinal -- routines should be idempotent. Generate a flag to ensure that. + -- This is not needed if we are suppressing the standard library + -- since it would never be referenced. - WBI (" Is_Elaborated : Boolean := False;"); + if not Suppress_Standard_Library_On_Target then + WBI (" Is_Elaborated : Boolean := False;"); + end if; + WBI (""); end if;