summaryrefslogtreecommitdiff
path: root/test/Sema/sign-compare-enum.c
blob: fb67e323f1d128e1e04bfaa734ae3f0aa5448556 (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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
// RUN: %clang_cc1 -triple=x86_64-pc-linux-gnu -fsyntax-only -verify -Wsign-compare %s
// RUN: %clang_cc1 -triple=x86_64-pc-win32 -fsyntax-only -verify -Wsign-compare %s
// RUN: %clang_cc1 -x c++ -triple=x86_64-pc-linux-gnu -fsyntax-only -verify -Wsign-compare %s
// RUN: %clang_cc1 -x c++ -triple=x86_64-pc-win32 -fsyntax-only -verify -Wsign-compare %s

// Check that -Wsign-compare is off by default.
// RUN: %clang_cc1 -triple=x86_64-pc-linux-gnu -fsyntax-only -verify -DSILENCE %s

#ifdef SILENCE
// expected-no-diagnostics
#endif

enum PosEnum {
  A_a = 0,
  A_b = 1,
  A_c = 10
};

static const int message[] = {0, 1};

int test_pos(enum PosEnum a) {
  if (a < 2)
    return 0;

  // No warning, except in Windows C mode, where PosEnum is 'int' and it can
  // take on any value according to the C standard.
#if !defined(SILENCE) && defined(_WIN32) && !defined(__cplusplus)
  // expected-warning@+2 {{comparison of integers of different signs}}
#endif
  if (a < 2U)
    return 0;

  unsigned uv = 2;
#if !defined(SILENCE) && defined(_WIN32) && !defined(__cplusplus)
  // expected-warning@+2 {{comparison of integers of different signs}}
#endif
  if (a < uv)
    return 1;

#if !defined(SILENCE) && defined(_WIN32) && !defined(__cplusplus)
  // expected-warning@+2 {{comparison of integers of different signs}}
#endif
  if (a < sizeof(message)/sizeof(message[0]))
    return 0;
  return 4;
}

enum NegEnum {
  NE_a = -1,
  NE_b = 0,
  NE_c = 10
};

int test_neg(enum NegEnum a) {
  if (a < 2)
    return 0;

#ifndef SILENCE
  // expected-warning@+2 {{comparison of integers of different signs}}
#endif
  if (a < 2U)
    return 0;

  unsigned uv = 2;
#ifndef SILENCE
  // expected-warning@+2 {{comparison of integers of different signs}}
#endif
  if (a < uv)
    return 1;

#ifndef SILENCE
  // expected-warning@+2 {{comparison of integers of different signs}}
#endif
  if (a < sizeof(message)/sizeof(message[0]))
    return 0;
  return 4;
}