validation/function-redecl.c

   1 #define __user  __attribute__((address_space(1)))
   2 #define NULL    ((void*)0)
   3
   4 int ret_type(void);
   5 void ret_type(void) { }                         /* check-should-fail */
   6
   7
   8 int ret_const(void);
   9 int const ret_const(void) { return 0; }         /* check-should-fail */
  10
  11
  12 void *ret_as(void);
  13 void __user *ret_as(void) { return NULL; }      /* check-should-fail */
  14
  15
  16 void *ret_mod(void);
  17 void const *ret_mod(void) { return NULL; }      /* check-should-fail */
  18
  19
  20 void arg_type(int a);
  21 void arg_type(void *a) { }                      /* check-should-fail */
  22
  23
  24 void arg_const(int a);
  25 void arg_const(const int a) { }                 /* OK */
  26
  27
  28 void arg_as(void *a);
  29 void arg_as(void __user *a) { }                 /* check-should-fail */
  30
  31
  32 void arg_mod(void *);
  33 void arg_mod(void const *a) { }                 /* check-should-fail */
  34
  35
  36 void arg_more_arg(int a);
  37 void arg_more_arg(int a, int b) { }             /* check-should-fail */
  38
  39
  40 void arg_less_arg(int a, int b);
  41 void arg_less_arg(int a) { }                    /* check-should-fail */
  42
  43
  44 void arg_vararg(int a);
  45 void arg_vararg(int a, ...) { }                 /* check-should-fail */
  46
  47 /*
  48  * check-name: function-redecl
  49  *
  50  * check-error-start
  51 function-redecl.c:5:6: error: symbol 'ret_type' redeclared with different type (different base types):
  52 function-redecl.c:5:6:    void extern [addressable] [toplevel] ret_type( ... )
  53 function-redecl.c:4:5: note: previously declared as:
  54 function-redecl.c:4:5:    int extern [addressable] [signed] [toplevel] ret_type( ... )
  55 function-redecl.c:9:11: error: symbol 'ret_const' redeclared with different type (different modifiers):
  56 function-redecl.c:9:11:    int extern const [addressable] [signed] [toplevel] ret_const( ... )
  57 function-redecl.c:8:5: note: previously declared as:
  58 function-redecl.c:8:5:    int extern [addressable] [signed] [toplevel] ret_const( ... )
  59 function-redecl.c:13:13: error: symbol 'ret_as' redeclared with different type (different address spaces):
  60 function-redecl.c:13:13:    void <asn:1> *extern [addressable] [toplevel] ret_as( ... )
  61 function-redecl.c:12:6: note: previously declared as:
  62 function-redecl.c:12:6:    void *extern [addressable] [toplevel] ret_as( ... )
  63 function-redecl.c:17:12: error: symbol 'ret_mod' redeclared with different type (different modifiers):
  64 function-redecl.c:17:12:    void const *extern [addressable] [toplevel] ret_mod( ... )
  65 function-redecl.c:16:6: note: previously declared as:
  66 function-redecl.c:16:6:    void *extern [addressable] [toplevel] ret_mod( ... )
  67 function-redecl.c:21:6: error: symbol 'arg_type' redeclared with different type (incompatible argument 1 (different base types)):
  68 function-redecl.c:21:6:    void extern [addressable] [toplevel] arg_type( ... )
  69 function-redecl.c:20:6: note: previously declared as:
  70 function-redecl.c:20:6:    void extern [addressable] [toplevel] arg_type( ... )
  71 function-redecl.c:29:6: error: symbol 'arg_as' redeclared with different type (incompatible argument 1 (different address spaces)):
  72 function-redecl.c:29:6:    void extern [addressable] [toplevel] arg_as( ... )
  73 function-redecl.c:28:6: note: previously declared as:
  74 function-redecl.c:28:6:    void extern [addressable] [toplevel] arg_as( ... )
  75 function-redecl.c:33:6: error: symbol 'arg_mod' redeclared with different type (incompatible argument 1 (different modifiers)):
  76 function-redecl.c:33:6:    void extern [addressable] [toplevel] arg_mod( ... )
  77 function-redecl.c:32:6: note: previously declared as:
  78 function-redecl.c:32:6:    void extern [addressable] [toplevel] arg_mod( ... )
  79 function-redecl.c:37:6: error: symbol 'arg_more_arg' redeclared with different type (different argument counts):
  80 function-redecl.c:37:6:    void extern [addressable] [toplevel] arg_more_arg( ... )
  81 function-redecl.c:36:6: note: previously declared as:
  82 function-redecl.c:36:6:    void extern [addressable] [toplevel] arg_more_arg( ... )
  83 function-redecl.c:41:6: error: symbol 'arg_less_arg' redeclared with different type (different argument counts):
  84 function-redecl.c:41:6:    void extern [addressable] [toplevel] arg_less_arg( ... )
  85 function-redecl.c:40:6: note: previously declared as:
  86 function-redecl.c:40:6:    void extern [addressable] [toplevel] arg_less_arg( ... )
  87 function-redecl.c:45:6: error: symbol 'arg_vararg' redeclared with different type (incompatible variadic arguments):
  88 function-redecl.c:45:6:    void extern [addressable] [toplevel] arg_vararg( ... )
  89 function-redecl.c:44:6: note: previously declared as:
  90 function-redecl.c:44:6:    void extern [addressable] [toplevel] arg_vararg( ... )
  91  * check-error-end
  92  */