[Ada] Delete bogus use of flag_zero_initialized_in_bss

Eric Botcazou ebotcazou@adacore.com
Tue Mar 16 09:06:00 GMT 2010


> The Ada front-end seems to think that clearing flag_zero_initialized_in_bss
> means that global variables without an explicit initializer will be
> considered to be uninitialized rather than zero initialized by the rest of
> the compiler.

No, it doesn't, you misunderstood.

> Rather than specifying whether the global will be zero initialized or not,
> it specifies by what method it will be zero initialized: whether by placing
> in the BSS section or by outputting an explicit block of zeros.

Yes, that's precisely why the flag needs to be cleared: uninitialized really 
means uninitialized in Ada so the BSS section isn't guaranteed to be zero-ed 
at startup for a pure Ada program.

-- 
Eric Botcazou



More information about the Gcc-patches mailing list