gcc/testsuite/c-c++-common/analyzer/pr105252.c

   1 /* { dg-additional-options "-fnon-call-exceptions -O" } */
   2
   3 typedef unsigned char C;
   4 typedef unsigned char __attribute__((__vector_size__ (4))) V;
   5
   6 C m;
   7
   8 static inline void
   9 bar (C c, V v, V *r)
  10 {
  11   v %= (c | v) % m;
  12   *r = v;
  13 }
  14
  15 void
  16 foo (void)
  17 {
  18   V x;
  19   bar (0, (V){2}, &x);
  20 }