1  /* { dg-do compile } */
       2  /* { dg-additional-options "-fnon-call-exceptions -fno-tree-dce -fno-tree-forwprop" } */
       3  /* { dg-additional-options "-march=cannonlake" { target x86_64-*-* i?86-*-* } } */
       4  
       5  typedef int __attribute__((__vector_size__ (16))) V;
       6  
       7  void bar (int i);
       8  
       9  void
      10  foo (int i)
      11  {
      12    V v;
      13    __builtin_mul_overflow (7, i, &v[i]);
      14    bar ((V){}[3]);
      15  }