// PR c++/19407
// { dg-do run }

typedef float global_vector_type __attribute__((vector_size(16)));

template <class T> struct A
{
  typedef T type;
};

template < typename Val > struct S
{
  typedef typename A<Val>::type vector_type __attribute__((vector_size(16)));
  typedef Val vector_type2 __attribute__((vector_size(16)));
  int pr_size() { return sizeof(vector_type); }
  int pr_size2() { return sizeof(vector_type2); }
};

int main()
{
  if (sizeof (S<float>::vector_type) != sizeof (global_vector_type))
    return 1;
  if (sizeof (S<float>::vector_type2) != sizeof (global_vector_type))
    return 2;

  S<float> x;
  if (x.pr_size() != sizeof (global_vector_type))
    return 3;
  if (x.pr_size2() != sizeof (global_vector_type))
    return 4;
  
  return 0;
}