Home Explore Help
Sign In
mooigraph
/
sparsegen
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
sparsegen
/
sparse
/
validation
/
function-redecl.c

function-redecl.c 4.3 KB
Permalink History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293 
  1. #define __user	__attribute__((address_space(1)))
    2. 

  2. #define NULL	((void*)0)
    3. 

  3. 

  4. int ret_type(void);
    5. 

  5. void ret_type(void) { }				/* check-should-fail */
    6. 

  6. 

  7. 

  8. int ret_const(void);
    9. 

  9. int const ret_const(void) { return 0; }		/* check-should-fail */
    10. 

  10. 

  11. 

  12. void *ret_as(void);
    13. 

  13. void __user *ret_as(void) { return NULL; }	/* check-should-fail */
    14. 

  14. 

  15. 

  16. void *ret_mod(void);
    17. 

  17. void const *ret_mod(void) { return NULL; }	/* check-should-fail */
    18. 

  18. 

  19. 

  20. void arg_type(int a);
    21. 

  21. void arg_type(void *a) { }			/* check-should-fail */
    22. 

  22. 

  23. 

  24. void arg_const(int a);
    25. 

  25. void arg_const(const int a) { }			/* OK */
    26. 

  26. 

  27. 

  28. void arg_as(void *a);
    29. 

  29. void arg_as(void __user *a) { }			/* check-should-fail */
    30. 

  30. 

  31. 

  32. void arg_mod(void *);
    33. 

  33. void arg_mod(void const *a) { }			/* check-should-fail */
    34. 

  34. 

  35. 

  36. void arg_more_arg(int a);
    37. 

  37. void arg_more_arg(int a, int b) { }		/* check-should-fail */
    38. 

  38. 

  39. 

  40. void arg_less_arg(int a, int b);
    41. 

  41. void arg_less_arg(int a) { }			/* check-should-fail */
    42. 

  42. 

  43. 

  44. void arg_vararg(int a);
    45. 

  45. void arg_vararg(int a, ...) { }			/* check-should-fail */
    46. 

  46. 

  47. /*
    48. 

  48.  * check-name: function-redecl
    49. 

  49.  *
    50. 

  50.  * check-error-start
    51. 

  51. function-redecl.c:5:6: error: symbol 'ret_type' redeclared with different type (different base types):
    52. 

  52. function-redecl.c:5:6:    void extern [addressable] [toplevel] ret_type( ... )
    53. 

  53. function-redecl.c:4:5: note: previously declared as:
    54. 

  54. function-redecl.c:4:5:    int extern [addressable] [signed] [toplevel] ret_type( ... )
    55. 

  55. function-redecl.c:9:11: error: symbol 'ret_const' redeclared with different type (different modifiers):
    56. 

  56. function-redecl.c:9:11:    int extern const [addressable] [signed] [toplevel] ret_const( ... )
    57. 

  57. function-redecl.c:8:5: note: previously declared as:
    58. 

  58. function-redecl.c:8:5:    int extern [addressable] [signed] [toplevel] ret_const( ... )
    59. 

  59. function-redecl.c:13:13: error: symbol 'ret_as' redeclared with different type (different address spaces):
    60. 

  60. function-redecl.c:13:13:    void <asn:1> *extern [addressable] [toplevel] ret_as( ... )
    61. 

  61. function-redecl.c:12:6: note: previously declared as:
    62. 

  62. function-redecl.c:12:6:    void *extern [addressable] [toplevel] ret_as( ... )
    63. 

  63. function-redecl.c:17:12: error: symbol 'ret_mod' redeclared with different type (different modifiers):
    64. 

  64. function-redecl.c:17:12:    void const *extern [addressable] [toplevel] ret_mod( ... )
    65. 

  65. function-redecl.c:16:6: note: previously declared as:
    66. 

  66. function-redecl.c:16:6:    void *extern [addressable] [toplevel] ret_mod( ... )
    67. 

  67. function-redecl.c:21:6: error: symbol 'arg_type' redeclared with different type (incompatible argument 1 (different base types)):
    68. 

  68. function-redecl.c:21:6:    void extern [addressable] [toplevel] arg_type( ... )
    69. 

  69. function-redecl.c:20:6: note: previously declared as:
    70. 

  70. function-redecl.c:20:6:    void extern [addressable] [toplevel] arg_type( ... )
    71. 

  71. function-redecl.c:29:6: error: symbol 'arg_as' redeclared with different type (incompatible argument 1 (different address spaces)):
    72. 

  72. function-redecl.c:29:6:    void extern [addressable] [toplevel] arg_as( ... )
    73. 

  73. function-redecl.c:28:6: note: previously declared as:
    74. 

  74. function-redecl.c:28:6:    void extern [addressable] [toplevel] arg_as( ... )
    75. 

  75. function-redecl.c:33:6: error: symbol 'arg_mod' redeclared with different type (incompatible argument 1 (different modifiers)):
    76. 

  76. function-redecl.c:33:6:    void extern [addressable] [toplevel] arg_mod( ... )
    77. 

  77. function-redecl.c:32:6: note: previously declared as:
    78. 

  78. function-redecl.c:32:6:    void extern [addressable] [toplevel] arg_mod( ... )
    79. 

  79. function-redecl.c:37:6: error: symbol 'arg_more_arg' redeclared with different type (different argument counts):
    80. 

  80. function-redecl.c:37:6:    void extern [addressable] [toplevel] arg_more_arg( ... )
    81. 

  81. function-redecl.c:36:6: note: previously declared as:
    82. 

  82. function-redecl.c:36:6:    void extern [addressable] [toplevel] arg_more_arg( ... )
    83. 

  83. function-redecl.c:41:6: error: symbol 'arg_less_arg' redeclared with different type (different argument counts):
    84. 

  84. function-redecl.c:41:6:    void extern [addressable] [toplevel] arg_less_arg( ... )
    85. 

  85. function-redecl.c:40:6: note: previously declared as:
    86. 

  86. function-redecl.c:40:6:    void extern [addressable] [toplevel] arg_less_arg( ... )
    87. 

  87. function-redecl.c:45:6: error: symbol 'arg_vararg' redeclared with different type (incompatible variadic arguments):
    88. 

  88. function-redecl.c:45:6:    void extern [addressable] [toplevel] arg_vararg( ... )
    89. 

  89. function-redecl.c:44:6: note: previously declared as:
    90. 

  90. function-redecl.c:44:6:    void extern [addressable] [toplevel] arg_vararg( ... )
    91. 

  91.  * check-error-end
    92. 

  92.  */
    93. 

  93.