summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/guality/pr41447-1.c
blob: 9bb28abe37c88316ca9a1ccea0d0f9ff3302ec25 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
/* { dg-do run { xfail *-*-* } } */
/* { dg-options "-g" } */

#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;
}