line-directive.c revision bc81682756a2406e1788b14c576b3c8b515d97a3 
1// RUN: clang-cc -fsyntax-only -verify -pedantic %s &&
2// RUN: clang-cc -E %s 2>&1 | grep 'blonk.c:92:2: error: #error ABC' &&
3// RUN: clang-cc -E %s 2>&1 | grep 'blonk.c:93:2: error: #error DEF'
4
5#line 'a'            // expected-error {{#line directive requires a positive integer argument}}
6#line 0              // expected-error {{#line directive requires a positive integer argument}}
7#line 2147483648     // expected-warning {{C requires #line number to be less than 2147483648, allowed as extension}}
8#line 42             // ok
9#line 42 'a'         // expected-error {{invalid filename for #line directive}}
10#line 42 "foo/bar/baz.h"  // ok
11
12
13// #line directives expand macros.
14#define A 42 "foo"
15#line A
16
17# 42
18# 42 "foo"
19# 42 "foo" 2 // expected-error {{invalid line marker flag '2': cannot pop empty include stack}}
20# 42 "foo" 1 3  // enter
21# 42 "foo" 2 3  // exit
22# 42 "foo" 2 3 4 // expected-error {{invalid line marker flag '2': cannot pop empty include stack}}
23# 42 "foo" 3 4
24
25# 'a'            // expected-error {{invalid preprocessing directive}}
26# 42 'f'         // expected-error {{invalid filename for line marker directive}}
27# 42 1 3         // expected-error {{invalid filename for line marker directive}}
28# 42 "foo" 3 1   // expected-error {{invalid flag line marker directive}}
29# 42 "foo" 42    // expected-error {{invalid flag line marker directive}}
30# 42 "foo" 1 2   // expected-error {{invalid flag line marker directive}}
31
32
33// These are checked by the RUN line.
34#line 92 "blonk.c"
35#error ABC  // expected-error {{#error ABC}}
36#error DEF  // expected-error {{#error DEF}}
37
38
39// Verify that linemarker diddling of the system header flag works.
40
41# 192 "glomp.h" // not a system header.
42typedef int x;  // expected-note {{previous definition is here}}
43typedef int x;  // expected-error {{redefinition of typedef 'x' is invalid in C}}
44
45# 192 "glomp.h" 3 // System header.
46typedef int y;  // ok
47typedef int y;  // ok
48
49#line 42 "blonk.h"  // doesn't change system headerness.
50
51typedef int z;  // ok
52typedef int z;  // ok
53
54# 97     // doesn't change system headerness.
55
56typedef int z1;  // ok
57typedef int z1;  // ok
58
59# 42 "blonk.h"  // DOES change system headerness.
60
61typedef int w;  // expected-note {{previous definition is here}}
62typedef int w;  // expected-error {{redefinition of typedef 'w' is invalid in C}}
63
64
65// This should not produce an "extra tokens at end of #line directive" warning,
66// because #line is allowed to contain expanded tokens.
67#define EMPTY()
68#line 2 "foo.c" EMPTY( )
69#line 2 "foo.c" NONEMPTY( )  // expected-warning{{extra tokens at end of #line directive}}
70
71// PR3940
72#line 0xf  // expected-warning {{#line directive requires decimal line number}}
73#line 42U  // expected-warning {{#line directive requires a simple digit sequence}}
74
75
76