-fzero-initialized-in-bss again

[Eric Botcazou]

> The problem appears to be that ada/utils.c unconditionally does this
> when building a var_decl:
>
>   DECL_COMMON   (var_decl) = !flag_no_common;
>
> Is the Ada compiler really trying to make all variables, including
> ones which are initialised, common?

It does put the flag on all variables if -fcommon is enabled.

> I don't believe this is well-supported in the backend, and I'm not even
> sure what it means.  I would suggest changing this, possibly by simply
> deleting this line, or modifying it based on Ada language semantics.

The problem is that it is unclear how Ada and -fcommon relate to each other.  
I'm under the impression that -fcommon is essentially a C thing so I think 
we could at least disable it by default for Ada.

-- 
Eric Botcazou