clang/test/Preprocessor/line-directive.c

   1 // RUN: %clang_cc1 -std=c99 -fsyntax-only -verify -pedantic %s
   2 // RUN: not %clang_cc1 -E %s 2>&1 | grep 'blonk.c:92:2: error: ABC'
   3 // RUN: not %clang_cc1 -E %s 2>&1 | grep 'blonk.c:93:2: error: DEF'
   4
   5 #line 'a'            // expected-error {{#line directive requires a positive integer argument}}
   6 #line 0              // expected-warning {{#line directive with zero argument is a GNU extension}}
   7 #line 00             // expected-warning {{#line directive with zero argument is a GNU extension}}
   8 #line 2147483648     // expected-warning {{C requires #line number to be less than 2147483648, allowed as extension}}
   9 #line 42             // ok
  10 #line 42 'a'         // expected-error {{invalid filename for #line directive}}
  11 #line 42 "foo/bar/baz.h"  // ok
  12
  13
  14 // #line directives expand macros.
  15 #define A 42 "foo"
  16 #line A
  17
  18 # 42
  19 # 42 "foo"
  20 # 42 "foo" 2 // expected-error {{invalid line marker flag '2': cannot pop empty include stack}}
  21 # 42 "foo" 1 3  // enter
  22 # 42 "foo" 2 3  // exit
  23 # 42 "foo" 2 3 4 // expected-error {{invalid line marker flag '2': cannot pop empty include stack}}
  24 # 42 "foo" 3 4
  25
  26 # 'a'            // expected-error {{invalid preprocessing directive}}
  27 # 42 'f'         // expected-error {{invalid filename for line marker directive}}
  28 # 42 1 3         // expected-error {{invalid filename for line marker directive}}
  29 # 42 "foo" 3 1   // expected-error {{invalid flag line marker directive}}
  30 # 42 "foo" 42    // expected-error {{invalid flag line marker directive}}
  31 # 42 "foo" 1 2   // expected-error {{invalid flag line marker directive}}
  32 # 42a33          // expected-error {{GNU line marker directive requires a simple digit sequence}}
  33
  34 // These are checked by the RUN line.
  35 #line 92 "blonk.c"
  36 #error ABC
  37 #error DEF
  38 // expected-error@-2 {{ABC}}
  39 #line 150
  40 // expected-error@-3 {{DEF}}
  41
  42
  43 // Verify that linemarker diddling of the system header flag works.
  44
  45 # 192 "glomp.h" // not a system header.
  46 typedef int x;  // expected-note {{previous definition is here}}
  47 typedef int x;  // expected-warning {{redefinition of typedef 'x' is a C11 feature}}
  48
  49 # 192 "glomp.h" 3 // System header.
  50 typedef int y;  // ok
  51 typedef int y;  // ok
  52
  53 typedef int q;  // q is in system header.
  54
  55 #line 42 "blonk.h"  // doesn't change system headerness.
  56
  57 typedef int z;  // ok
  58 typedef int z;  // ok
  59
  60 # 97     // doesn't change system headerness.
  61
  62 typedef int z1;  // ok
  63 typedef int z1;  // ok
  64
  65 # 42 "blonk.h"  // DOES change system headerness.
  66
  67 typedef int w;  // expected-note {{previous definition is here}}
  68 typedef int w;  // expected-warning {{redefinition of typedef 'w' is a C11 feature}}
  69
  70 typedef int q;  // original definition in system header, should not diagnose.
  71
  72 // This should not produce an "extra tokens at end of #line directive" warning,
  73 // because #line is allowed to contain expanded tokens.
  74 #define EMPTY()
  75 #line 2 "foo.c" EMPTY( )
  76 #line 2 "foo.c" NONEMPTY( )  // expected-warning{{extra tokens at end of #line directive}}
  77
  78 // PR3940
  79 #line 0xf  // expected-error {{#line directive requires a simple digit sequence}}
  80 #line 42U  // expected-error {{#line directive requires a simple digit sequence}}
  81
  82
  83 // Line markers are digit strings interpreted as decimal numbers, this is
  84 // 10, not 8.
  85 #line 010  // expected-warning {{#line directive interprets number as decimal, not octal}}
  86 extern int array[__LINE__ == 10 ? 1:-1];
  87
  88 # 020      // expected-warning {{GNU line marker directive interprets number as decimal, not octal}}
  89 extern int array_gnuline[__LINE__ == 20 ? 1:-1];
  90
  91 /* PR3917 */
  92 #line 41
  93 extern char array2[\
  94 _\
  95 _LINE__ == 42 ? 1: -1];  /* line marker is location of first _ */
  96
  97 # 51
  98 extern char array2_gnuline[\
  99 _\
 100 _LINE__ == 52 ? 1: -1];  /* line marker is location of first _ */
 101
 102 // rdar://11550996
 103 #line 0 "line-directive.c" // expected-warning {{#line directive with zero argument is a GNU extension}}
 104 undefined t; // expected-error {{unknown type name 'undefined'}}
 105
 106