Blame - test/Sema/compare.c - platform/external/clang

Daniel Dunbar

a572887

2009-12-15 20:14:24 +0000

[diff] [blame]

1

// RUN: %clang_cc1 -triple x86_64-apple-darwin -fsyntax-only -pedantic -verify -Wsign-compare %s

Chris Lattner

d28f815

2007-08-26 01:10:14 +0000

[diff] [blame]

2

3

int test(char *C) { // nothing here should warn.

4

return C != ((void*)0);

5

return C != (void*)0;

Chris Lattner

06c0f5b

2009-08-23 00:03:44 +0000

[diff] [blame]

6

return C != 0;

7

return C != 1; // expected-warning {{comparison between pointer and integer ('char *' and 'int')}}

Chris Lattner

d28f815

2007-08-26 01:10:14 +0000

[diff] [blame]

8

}

9

John McCall

45aa455

2009-11-05 00:40:04 +0000

[diff] [blame]

10

int ints(long a, unsigned long b) {

John McCall

5dbad3d

2009-11-06 08:49:08 +0000

[diff] [blame]

11

enum EnumA {A};

12

enum EnumB {B};

13

enum EnumC {C = 0x10000};

14

return

15

// (a,b)

16

(a == (unsigned long) b) + // expected-warning {{comparison of integers of different signs}}

17

(a == (unsigned int) b) +

18

(a == (unsigned short) b) +

19

(a == (unsigned char) b) +

20

((long) a == b) + // expected-warning {{comparison of integers of different signs}}

21

((int) a == b) + // expected-warning {{comparison of integers of different signs}}

22

((short) a == b) + // expected-warning {{comparison of integers of different signs}}

23

((signed char) a == b) + // expected-warning {{comparison of integers of different signs}}

24

((long) a == (unsigned long) b) + // expected-warning {{comparison of integers of different signs}}

25

((int) a == (unsigned int) b) + // expected-warning {{comparison of integers of different signs}}

26

((short) a == (unsigned short) b) + // expected-warning {{comparison of integers of different signs}}

27

((signed char) a == (unsigned char) b) + // expected-warning {{comparison of integers of different signs}}

28

(a < (unsigned long) b) + // expected-warning {{comparison of integers of different signs}}

29

(a < (unsigned int) b) +

30

(a < (unsigned short) b) +

31

(a < (unsigned char) b) +

32

((long) a < b) + // expected-warning {{comparison of integers of different signs}}

33

((int) a < b) + // expected-warning {{comparison of integers of different signs}}

34

((short) a < b) + // expected-warning {{comparison of integers of different signs}}

35

((signed char) a < b) + // expected-warning {{comparison of integers of different signs}}

36

((long) a < (unsigned long) b) + // expected-warning {{comparison of integers of different signs}}

37

((int) a < (unsigned int) b) + // expected-warning {{comparison of integers of different signs}}

38

((short) a < (unsigned short) b) + // expected-warning {{comparison of integers of different signs}}

39

((signed char) a < (unsigned char) b) + // expected-warning {{comparison of integers of different signs}}

John McCall

b13c87f

2009-11-05 09:23:39 +0000

[diff] [blame]

40

John McCall

5dbad3d

2009-11-06 08:49:08 +0000

[diff] [blame]

41

// (A,b)

42

(A == (unsigned long) b) +

43

(A == (unsigned int) b) +

44

(A == (unsigned short) b) +

45

(A == (unsigned char) b) +

((long) A == b) +

((int) A == b) +

((short) A == b) +

((signed char) A == b) +

50

((long) A == (unsigned long) b) +

51

((int) A == (unsigned int) b) +

52

((short) A == (unsigned short) b) +

53

((signed char) A == (unsigned char) b) +

54

(A < (unsigned long) b) +

55

(A < (unsigned int) b) +

56

(A < (unsigned short) b) +

57

(A < (unsigned char) b) +

((long) A < b) +

((int) A < b) +

((short) A < b) +

((signed char) A < b) +

62

((long) A < (unsigned long) b) +

63

((int) A < (unsigned int) b) +

64

((short) A < (unsigned short) b) +

65

((signed char) A < (unsigned char) b) +

John McCall

b13c87f

2009-11-05 09:23:39 +0000

[diff] [blame]

66

John McCall

5dbad3d

2009-11-06 08:49:08 +0000

[diff] [blame]

67

// (a,B)

68

(a == (unsigned long) B) +

69

(a == (unsigned int) B) +

70

(a == (unsigned short) B) +

71

(a == (unsigned char) B) +

((long) a == B) +

((int) a == B) +

((short) a == B) +

((signed char) a == B) +

76

((long) a == (unsigned long) B) +

77

((int) a == (unsigned int) B) +

78

((short) a == (unsigned short) B) +

79

((signed char) a == (unsigned char) B) +

80

(a < (unsigned long) B) + // expected-warning {{comparison of integers of different signs}}

81

(a < (unsigned int) B) +

82

(a < (unsigned short) B) +

83

(a < (unsigned char) B) +

((long) a < B) +

((int) a < B) +

((short) a < B) +

((signed char) a < B) +

88

((long) a < (unsigned long) B) + // expected-warning {{comparison of integers of different signs}}

89

((int) a < (unsigned int) B) + // expected-warning {{comparison of integers of different signs}}

90

((short) a < (unsigned short) B) + // expected-warning {{comparison of integers of different signs}}

91

((signed char) a < (unsigned char) B) + // expected-warning {{comparison of integers of different signs}}

92

93

// (C,b)

94

(C == (unsigned long) b) +

95

(C == (unsigned int) b) +

96

(C == (unsigned short) b) +

97

(C == (unsigned char) b) +

((long) C == b) +

((int) C == b) +

((short) C == b) +

((signed char) C == b) +

102

((long) C == (unsigned long) b) +

103

((int) C == (unsigned int) b) +

104

((short) C == (unsigned short) b) +

105

((signed char) C == (unsigned char) b) +

106

(C < (unsigned long) b) +

107

(C < (unsigned int) b) +

108

(C < (unsigned short) b) +

109

(C < (unsigned char) b) +

((long) C < b) +

((int) C < b) +

((short) C < b) +

((signed char) C < b) +

114

((long) C < (unsigned long) b) +

115

((int) C < (unsigned int) b) +

116

((short) C < (unsigned short) b) +

117

((signed char) C < (unsigned char) b) +

118

119

// (a,C)

120

(a == (unsigned long) C) +

121

(a == (unsigned int) C) +

122

(a == (unsigned short) C) +

123

(a == (unsigned char) C) +

((long) a == C) +

((int) a == C) +

((short) a == C) +

((signed char) a == C) +

128

((long) a == (unsigned long) C) +

129

((int) a == (unsigned int) C) +

130

((short) a == (unsigned short) C) +

131

((signed char) a == (unsigned char) C) +

132

(a < (unsigned long) C) + // expected-warning {{comparison of integers of different signs}}

133

(a < (unsigned int) C) +

134

(a < (unsigned short) C) +

135

(a < (unsigned char) C) +

((long) a < C) +

((int) a < C) +

((short) a < C) +

((signed char) a < C) +

140

((long) a < (unsigned long) C) + // expected-warning {{comparison of integers of different signs}}

141

((int) a < (unsigned int) C) + // expected-warning {{comparison of integers of different signs}}

142

((short) a < (unsigned short) C) + // expected-warning {{comparison of integers of different signs}}

143

((signed char) a < (unsigned char) C) + // expected-warning {{comparison of integers of different signs}}

144

145

// (0x80000,b)

146

(0x80000 == (unsigned long) b) +

147

(0x80000 == (unsigned int) b) +

148

(0x80000 == (unsigned short) b) +

149

(0x80000 == (unsigned char) b) +

150

((long) 0x80000 == b) +

151

((int) 0x80000 == b) +

152

((short) 0x80000 == b) +

153

((signed char) 0x80000 == b) +

154

((long) 0x80000 == (unsigned long) b) +

155

((int) 0x80000 == (unsigned int) b) +

156

((short) 0x80000 == (unsigned short) b) +

157

((signed char) 0x80000 == (unsigned char) b) +

158

(0x80000 < (unsigned long) b) +

159

(0x80000 < (unsigned int) b) +

160

(0x80000 < (unsigned short) b) +

161

(0x80000 < (unsigned char) b) +

162

((long) 0x80000 < b) +

163

((int) 0x80000 < b) +

164

((short) 0x80000 < b) +

165

((signed char) 0x80000 < b) +

166

((long) 0x80000 < (unsigned long) b) +

167

((int) 0x80000 < (unsigned int) b) +

168

((short) 0x80000 < (unsigned short) b) +

169

((signed char) 0x80000 < (unsigned char) b) +

170

171

// (a,0x80000)

172

(a == (unsigned long) 0x80000) +

173

(a == (unsigned int) 0x80000) +

174

(a == (unsigned short) 0x80000) +

175

(a == (unsigned char) 0x80000) +

176

((long) a == 0x80000) +

177

((int) a == 0x80000) +

178

((short) a == 0x80000) +

179

((signed char) a == 0x80000) +

180

((long) a == (unsigned long) 0x80000) +

181

((int) a == (unsigned int) 0x80000) +

182

((short) a == (unsigned short) 0x80000) +

183

((signed char) a == (unsigned char) 0x80000) +

184

(a < (unsigned long) 0x80000) + // expected-warning {{comparison of integers of different signs}}

185

(a < (unsigned int) 0x80000) +

186

(a < (unsigned short) 0x80000) +

187

(a < (unsigned char) 0x80000) +

188

((long) a < 0x80000) +

189

((int) a < 0x80000) +

190

((short) a < 0x80000) +

191

((signed char) a < 0x80000) +

192

((long) a < (unsigned long) 0x80000) + // expected-warning {{comparison of integers of different signs}}

193

((int) a < (unsigned int) 0x80000) + // expected-warning {{comparison of integers of different signs}}

194

((short) a < (unsigned short) 0x80000) + // expected-warning {{comparison of integers of different signs}}

195

((signed char) a < (unsigned char) 0x80000) + // expected-warning {{comparison of integers of different signs}}

196

197

10

198

;

John McCall

45aa455

2009-11-05 00:40:04 +0000

[diff] [blame]

199

}

200

Chris Lattner

6365e3e

2009-08-22 18:58:31 +0000

[diff] [blame]

201

int equal(char *a, const char *b) {

Steve Naroff

77878cc

2007-08-27 04:08:11 +0000

[diff] [blame]

202

return a == b;

203

}

Eli Friedman

4e92acf

2008-02-06 04:53:22 +0000

[diff] [blame]

204

205

int arrays(char (*a)[5], char(*b)[10], char(*c)[5]) {

206

int d = (a == c);

207

return a == b; // expected-warning {{comparison of distinct pointer types}}

208

}

Chris Lattner

149f138

2009-06-30 06:24:05 +0000

[diff] [blame]

209

Chris Lattner

6365e3e

2009-08-22 18:58:31 +0000

[diff] [blame]

210

int pointers(int *a) {

Chris Lattner

06c0f5b

2009-08-23 00:03:44 +0000

[diff] [blame]

211

return a > 0; // expected-warning {{ordered comparison between pointer and zero ('int *' and 'int') is an extension}}

212

return a > 42; // expected-warning {{ordered comparison between pointer and integer ('int *' and 'int')}}

Chris Lattner

149f138

2009-06-30 06:24:05 +0000

[diff] [blame]

213

return a > (void *)0; // expected-warning {{comparison of distinct pointer types}}

214

}

215

Eli Friedman

3075e76

2009-08-23 00:27:47 +0000

[diff] [blame]

216

int function_pointers(int (*a)(int), int (*b)(int), void (*c)(int)) {

Chris Lattner

149f138

2009-06-30 06:24:05 +0000

[diff] [blame]

217

return a > b; // expected-warning {{ordered comparison of function pointers}}

218

return function_pointers > function_pointers; // expected-warning {{ordered comparison of function pointers}}

Eli Friedman

3075e76

2009-08-23 00:27:47 +0000

[diff] [blame]

219

return a > c; // expected-warning {{comparison of distinct pointer types}}

Chris Lattner

149f138

2009-06-30 06:24:05 +0000

[diff] [blame]

220

return a == (void *) 0;

Eli Friedman

3075e76

2009-08-23 00:27:47 +0000

[diff] [blame]

221

return a == (void *) 1; // expected-warning {{equality comparison between function pointer and void pointer}}

Chris Lattner

149f138

2009-06-30 06:24:05 +0000

[diff] [blame]

222

}

Douglas Gregor

f933437

2009-07-06 20:14:23 +0000

[diff] [blame]

223

Eli Friedman

3075e76

2009-08-23 00:27:47 +0000

[diff] [blame]

224

int void_pointers(void* foo) {

225

return foo == (void*) 0;

226

return foo == (void*) 1;

Douglas Gregor

f933437

2009-07-06 20:14:23 +0000

[diff] [blame]

227

}

John McCall

842aef8

2009-12-09 09:09:27 +0000

[diff] [blame]

int test1(int i) {

enum en { zero };

return i > zero;

}