[RFC] Enable saliasing for structs with arrays

[Richard Guenther]

On Thu, 21 Jul 2005, Jan Hubicka wrote:

> > For unions we don't create subvars, as is, I'm looking for an exact
> Has that changed with your patch?
> I quite definitly was debugging some issues with subvars on unions ;)

Well, I have that information from existing code:

static unsigned int
create_variable_info_for (tree decl, const char *name)
{
...
  hasunion = TREE_CODE (decltype) == UNION_TYPE
             || TREE_CODE (decltype) == QUAL_UNION_TYPE;
  if (var_can_have_subvars (decl) && use_field_sensitive && !hasunion)
    {
      push_fields_onto_fieldstack (decltype, &fieldstack, 0, &hasunion);
      if (hasunion)
        {
          VEC_free (fieldoff_s, heap, fieldstack);
          notokay = true;

at least it creates at most one subvar for the union itself, but
doesn't decompose it.

Richard.