aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Preprocessor/constants.c
blob: d6241a4f1ceee329ecf895e1d4c5ec558b12be80 (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
// RUN: %clang_cc1 -E -verify %s

// C++ [lex.icon]p4 and C 6.4.4.1p2 + 6.4.4.2p7 both require C and C++ to
// validate the integer constant value when converting a preprocessing token
// into a token for semantic analysis, even within the preprocessor itself.

// Plain integer constant.
#if 999999999999999999999 // expected-error {{integer literal is too large to be represented in any integer type}}
#endif

// These cases were previously incorrectly accepted. See GH134658.

// Integer constant in an unevaluated branch of a conditional.
#if 1 ? 1 : 999999999999999999999 // expected-error {{integer literal is too large to be represented in any integer type}}
#endif

// Integer constant in an unevaluated operand of a logical operator.
#if 0 && 999999999999999999999 // expected-error {{integer literal is too large to be represented in any integer type}}
#endif

#if 1 || 999999999999999999999 // expected-error {{integer literal is too large to be represented in any integer type}}
#endif

// Make sure we also catch it in an elif condition.
#if 0
#elif 1 || 999999999999999999999 // expected-error {{integer literal is too large to be represented in any integer type}}
#endif

// However, if the block is skipped entirely, then it doesn't matter how
// invalid the constant value is.
#if 0
int x = 999999999999999999999;

#if 999999999999999999999
#endif

#if 0 && 999999999999999999999
#endif

#endif