gcc/testsuite/gcc.dg/guality/pr41447-1.c

   1 /* { dg-do run } */
   2 /* { dg-options "-g" } */
   3 /* { dg-xfail-run-if "" { aarch64*-*-* } { "-O2" "-O3" "-Os" } { "-fno-fat-lto-objects" } } */
   4
   5 #include "guality.h"
   6
   7 int a;
   8
   9 int
  10 main (int argc, char *argv[])
  11 {
  12   int tmp = a;
  13   int tmp2 = a;
  14   int tmp3;
  15   int res;
  16   GUALCHKVAL (a);
  17   GUALCHKVAL (tmp);
  18   GUALCHKVAL (tmp2);
  19   a = 0;
  20   tmp3 = tmp2;
  21   GUALCHKVAL (a);
  22   GUALCHKVAL (tmp);
  23   GUALCHKVAL (tmp2);
  24   GUALCHKVAL (tmp3);
  25   res = tmp - tmp2 + 1;
  26   return res;
  27 }