expr_liveness.c
712 Bytes
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
/* RUN: %clang_cc1 -E %s -DNO_ERRORS -Werror -Wundef
RUN: not %clang_cc1 -E %s
*/
#ifdef NO_ERRORS
/* None of these divisions by zero are in live parts of the expression, do not
emit any diagnostics. */
#define MACRO_0 0
#define MACRO_1 1
#if MACRO_0 && 10 / MACRO_0
foo
#endif
#if MACRO_1 || 10 / MACRO_0
bar
#endif
#if 0 ? 124/0 : 42
#endif
// PR2279
#if 0 ? 1/0: 2
#else
#error
#endif
// PR2279
#if 1 ? 2 ? 3 : 4 : 5
#endif
// PR2284
#if 1 ? 0: 1 ? 1/0: 1/0
#endif
#else
/* The 1/0 is live, it should error out. */
#if 0 && 1 ? 4 : 1 / 0
baz
#endif
#endif
// rdar://6505352
// -Wundef should not warn about use of undefined identifier if not live.
#if (!defined(XXX) || XXX > 42)
#endif