test/FixIt/fixit.c

   1 // RUN: %clang_cc1 -pedantic -Wunused-label -verify -x c %s
   2 // RUN: cp %s %t
   3 // RUN: not %clang_cc1 -pedantic -Wunused-label -fixit -x c %t
   4 // RUN: grep -v CHECK %t > %t2
   5 // RUN: %clang_cc1 -pedantic -Wunused-label -Werror -x c %t
   6 // RUN: FileCheck -input-file=%t2 %t
   7
   8 /* This is a test of the various code modification hints that are
   9    provided as part of warning or extension diagnostics. All of the
  10    warnings will be fixed by -fixit, and the resulting file should
  11    compile cleanly with -Werror -pedantic. */
  12
  13 // FIXME: FIX-IT should add #include <string.h>?
  14 int strcmp(const char *s1, const char *s2);
  15
  16 void f0(void) { }; // expected-warning {{';'}}
  17
  18 struct s {
  19   int x, y;; // expected-warning {{extra ';'}}
  20 };
  21
  22 // CHECK: _Complex double cd;
  23 _Complex cd; // expected-warning {{assuming '_Complex double'}}
  24
  25 // CHECK: struct s s0 = { .y = 5 };
  26 struct s s0 = { y: 5 }; // expected-warning {{GNU old-style}}
  27
  28 // CHECK: int array0[5] = { [3] = 3 };
  29 int array0[5] = { [3] 3 }; // expected-warning {{GNU 'missing ='}}
  30
  31 // CHECK: int x
  32 // CHECK: int y
  33 void f1(x, y) // expected-warning 2{{defaulting to type 'int'}}
  34 {
  35 }
  36
  37 int i0 = { 17 };
  38
  39 #define ONE 1
  40 #define TWO 2
  41
  42 int test_cond(int y, int fooBar) { // expected-note {{here}}
  43 // CHECK: int x = y ? 1 : 4+fooBar;
  44   int x = y ? 1 4+foobar; // expected-error {{expected ':'}} expected-error {{undeclared identifier}} expected-note {{to match}}
  45 // CHECK: x = y ? ONE : TWO;
  46   x = y ? ONE TWO; // expected-error {{':'}} expected-note {{to match}}
  47   return x;
  48 }
  49
  50 // CHECK: const typedef int int_t;
  51 const typedef typedef int int_t; // expected-warning {{duplicate 'typedef'}}
  52
  53 // <rdar://problem/7159693>
  54 enum Color {
  55   Red // expected-error{{missing ',' between enumerators}}
  56   Green = 17 // expected-error{{missing ',' between enumerators}}
  57   Blue,
  58 };
  59
  60 // rdar://9295072
  61 struct test_struct {
  62   // CHECK: struct test_struct *struct_ptr;
  63   test_struct *struct_ptr; // expected-error {{must use 'struct' tag to refer to type 'test_struct'}}
  64 };
  65
  66 void removeUnusedLabels(char c) {
  67   L0 /*removed comment*/:        c++; // expected-warning {{unused label}}
  68   removeUnusedLabels(c);
  69   L1: // expected-warning {{unused label}}
  70   c++;
  71   /*preserved comment*/ L2  :        c++; // expected-warning {{unused label}}
  72   LL // expected-warning {{unused label}}
  73   : c++;
  74   c = c + 3; L4: return; // expected-warning {{unused label}}
  75 }
  76
  77 int oopsAComma = 0, // expected-error {{';'}}
  78 void oopsMoreCommas() {
  79   static int a[] = { 0, 1, 2 }, // expected-error {{';'}}
  80   static int b[] = { 3, 4, 5 }, // expected-error {{';'}}
  81   &a == &b ? oopsMoreCommas() : removeUnusedLabels(a[0]);
  82 }
  83
  84 int commaAtEndOfStatement() {
  85   int a = 1;
  86   a = 5, // expected-error {{';'}}
  87   int m = 5, // expected-error {{';'}}
  88   return 0, // expected-error {{';'}}
  89 }
  90
  91 int noSemiAfterLabel(int n) {
  92   switch (n) {
  93     default:
  94       return n % 4;
  95     case 0:
  96     case 1:
  97     case 2:
  98     // CHECK: /*FOO*/ case 3: ;
  99     /*FOO*/ case 3: // expected-error {{expected statement}}
 100   }
 101   switch (n) {
 102     case 1:
 103     case 2:
 104       return 0;
 105     // CHECK: /*BAR*/ default: ;
 106     /*BAR*/ default: // expected-error {{expected statement}}
 107   }
 108   return 1;
 109 }
 110
 111 struct noSemiAfterStruct // expected-error {{expected ';' after struct}}
 112 struct noSemiAfterStruct {
 113   int n // expected-warning {{';'}}
 114 } // expected-error {{expected ';' after struct}}
 115 enum noSemiAfterEnum {
 116   e1
 117 } // expected-error {{expected ';' after enum}}
 118
 119 int PR17175 __attribute__((visibility(hidden))); // expected-error {{'visibility' attribute requires a string}}