/* { dg-do run } */ | |
/* { dg-options "-g" } */ | |
/* { dg-xfail-run-if "" { aarch64*-*-* } { "-O2" "-O3" "-Os" } { "-fno-fat-lto-objects" } } */ | |
#include "guality.h" | |
int a; | |
int | |
main (int argc, char *argv[]) | |
{ | |
int tmp = a; | |
int tmp2 = a; | |
int tmp3; | |
int res; | |
GUALCHKVAL (a); | |
GUALCHKVAL (tmp); | |
GUALCHKVAL (tmp2); | |
a = 0; | |
tmp3 = tmp2; | |
GUALCHKVAL (a); | |
GUALCHKVAL (tmp); | |
GUALCHKVAL (tmp2); | |
GUALCHKVAL (tmp3); | |
res = tmp - tmp2 + 1; | |
return res; | |
} |