/* { dg-do compile } */

typedef int veci __attribute__ ((vector_size (4 * sizeof (int))));
typedef float vecf __attribute__ ((vector_size (4 * sizeof (float))));

void f (veci *a, vecf *b, int c)
{
  *a = c || *b;
  *a = *a || c;
}