On Tue, Jun 5, 2012 at 1:07 PM, Eric Botcazou <ebotca...@adacore.com> wrote: >> Part of the problem why it isn't put there by gcc 4.7 because the >> initializer is not a bss_initializer_p initializer. And this is >> because GNAT explicitly disables this in misc.c: >> >> /* Initialize options structure OPTS. */ >> >> static void >> gnat_init_options_struct (struct gcc_options *opts) >> { >> /* Uninitialized really means uninitialized in Ada. */ >> opts->x_flag_zero_initialized_in_bss = 0; >> } > > Are you sure? There should be no initializer, i.e. DECL_INITIAL == NULL_TREE. > > The flag_zero_initialized_in_bss thing looks orthogonal to me.
You are right, DECL_INITIAL is 0. Ciao! Steven