VLA representation in GCC internals

[Alejandro Colomar via Gcc]

Hi Martin,

I'm in the process of rebasing my __countof__ changes after your patch
that fixes support for [*] and [0].

I should update the implementation of the following function:

        static bool
        is_top_array_vla (tree type)
        {
          bool zero, star, var;
          tree d;

          if (TREE_CODE (type) != ARRAY_TYPE)
            return false;
          if (!COMPLETE_TYPE_P (type))
            return false;

          d = TYPE_DOMAIN (type);
          zero = !TYPE_MAX_VALUE (d);
          star = (zero && C_TYPE_VARIABLE_SIZE (type));
          if (star)
            return true;
          if (zero)
            return false;

          var = (TREE_CODE (TYPE_MIN_VALUE (d)) != INTEGER_CST
                || TREE_CODE (TYPE_MAX_VALUE (d)) != INTEGER_CST);
          return var;
        }

The 'star' calculation should be updated.  Would you mind proposing an
implementation of this function that works with your changes?  Thanks!

Have a lovely night!
Alex


-- 
<https://www.alejandro-colomar.es/>

signature.asc
Description: PGP signature