gcc/testsuite/c-c++-common/analyzer/volatile-1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#include "../../gcc.dg/analyzer/analyzer-decls.h"

volatile int g;

void test_global (void)
{
  int v1 = g;
  int v2 = g;
  __analyzer_eval (v1 == v2); /* { dg-warning "UNKNOWN" } */
}

void test_local (void)
{
  volatile int x = 0;
  int v1 = x;
  int v2 = x;
  __analyzer_eval (v1 == v2); /* { dg-warning "UNKNOWN" } */
}