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  }