gcc/testsuite/gcc.dg/param-type-mismatch.c

   1 /* { dg-options "-fdiagnostics-show-caret -Wpointer-sign" }  */
   2
   3 /* A collection of calls where argument 2 is of the wrong type.  */
   4
   5 /* decl, with argname.  */
   6
   7 extern int callee_1 (int one, const char *two, float three); /* { dg-line callee_1 } */
   8
   9 int test_1 (int first, int second, float third)
  10 {
  11   return callee_1 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_1' makes pointer from integer without a cast" }  */
  12   /* { dg-begin-multiline-output "" }
  13    return callee_1 (first, second, third);
  14                            ^~~~~~
  15                            |
  16                            int
  17      { dg-end-multiline-output "" } */
  18   /* { dg-message "expected 'const char \\*' but argument is of type 'int'" "" { target *-*-* } callee_1 } */
  19   /* { dg-begin-multiline-output "" }
  20  extern int callee_1 (int one, const char *two, float three);
  21                                ~~~~~~~~~~~~^~~
  22      { dg-end-multiline-output "" } */
  23 }
  24
  25 /* decl, without argname.  */
  26
  27 extern int callee_2 (int, const char *, float); /* { dg-line callee_2 } */
  28
  29 int test_2 (int first, int second, float third)
  30 {
  31   return callee_2 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_2' makes pointer from integer without a cast" } */
  32   /* { dg-begin-multiline-output "" }
  33    return callee_2 (first, second, third);
  34                            ^~~~~~
  35                            |
  36                            int
  37      { dg-end-multiline-output "" } */
  38   /* { dg-message "expected 'const char \\*' but argument is of type 'int'" "" { target *-*-* } callee_2 } */
  39   /* { dg-begin-multiline-output "" }
  40  extern int callee_2 (int, const char *, float);
  41                            ^~~~~~~~~~~~
  42      { dg-end-multiline-output "" } */
  43 }
  44
  45 /* defn, with argname.  */
  46
  47 static int callee_3 (int one, const char *two, float three) /* { dg-line callee_3 } */
  48 {
  49   return callee_2 (one, two, three);
  50 }
  51
  52 int test_3 (int first, int second, float third)
  53 {
  54   return callee_3 (first, second, third); // { dg-warning "passing argument 2 of 'callee_3' makes pointer from integer without a cast" }
  55   /* { dg-begin-multiline-output "" }
  56    return callee_3 (first, second, third);
  57                            ^~~~~~
  58                            |
  59                            int
  60      { dg-end-multiline-output "" } */
  61   /* { dg-message "expected 'const char \\*' but argument is of type 'int'" "" { target *-*-* } callee_3 } */
  62   /* { dg-begin-multiline-output "" }
  63  static int callee_3 (int one, const char *two, float three)
  64                                ~~~~~~~~~~~~^~~
  65      { dg-end-multiline-output "" } */
  66 }
  67
  68 /* Trivial decl, with argname.  */
  69
  70 extern int callee_4 (int one, float two, float three); /* { dg-line callee_4 } */
  71
  72 int test_4 (int first, const char *second, float third)
  73 {
  74   return callee_4 (first, second, third); /* { dg-error "incompatible type for argument 2 of 'callee_4'" }  */
  75   /* { dg-begin-multiline-output "" }
  76    return callee_4 (first, second, third);
  77                            ^~~~~~
  78                            |
  79                            const char *
  80      { dg-end-multiline-output "" } */
  81   /* { dg-message "expected 'float' but argument is of type 'const char \\*'" "" { target *-*-* } callee_4 } */
  82   /* { dg-begin-multiline-output "" }
  83  extern int callee_4 (int one, float two, float three);
  84                                ~~~~~~^~~
  85      { dg-end-multiline-output "" } */
  86 }
  87
  88 /* Trivial decl, without argname.  */
  89
  90 extern int callee_5 (int, float, float); /* { dg-line callee_5 } */
  91
  92 int test_5 (int first, const char *second, float third)
  93 {
  94   return callee_5 (first, second, third); /* { dg-error "incompatible type for argument 2 of 'callee_5'" }  */
  95   /* { dg-begin-multiline-output "" }
  96    return callee_5 (first, second, third);
  97                            ^~~~~~
  98                            |
  99                            const char *
 100      { dg-end-multiline-output "" } */
 101   /* { dg-message "expected 'float' but argument is of type 'const char \\*'" "" { target *-*-* } callee_5 } */
 102   /* { dg-begin-multiline-output "" }
 103  extern int callee_5 (int, float, float);
 104                            ^~~~~
 105      { dg-end-multiline-output "" } */
 106 }
 107
 108 /* Callback with name.  */
 109
 110 extern int callee_6 (int one, int (*two)(int, int), float three); /* { dg-line callee_6 } */
 111
 112 int test_6 (int first, int second, float third)
 113 {
 114   return callee_6 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_6' makes pointer from integer without a cast" } */
 115   /* { dg-begin-multiline-output "" }
 116    return callee_6 (first, second, third);
 117                            ^~~~~~
 118                            |
 119                            int
 120      { dg-end-multiline-output "" } */
 121   /* { dg-message " expected 'int \\(\\*\\)\\(int,  int\\)' but argument is of type 'int'" "" { target *-*-* } callee_6 } */
 122   /* { dg-begin-multiline-output "" }
 123  extern int callee_6 (int one, int (*two)(int, int), float three);
 124                                ~~~~~~^~~~~~~~~~~~~~
 125      { dg-end-multiline-output "" } */
 126 }
 127
 128 /* Callback without name.  */
 129
 130 extern int callee_7 (int one, int (*)(int, int), float three); /* { dg-line callee_7 } */
 131
 132 int test_7 (int first, int second, float third)
 133 {
 134   return callee_7 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_7' makes pointer from integer without a cast" } */
 135   /* { dg-begin-multiline-output "" }
 136    return callee_7 (first, second, third);
 137                            ^~~~~~
 138                            |
 139                            int
 140      { dg-end-multiline-output "" } */
 141   /* { dg-message " expected 'int \\(\\*\\)\\(int,  int\\)' but argument is of type 'int'" "" { target *-*-* } callee_7 } */
 142   /* { dg-begin-multiline-output "" }
 143  extern int callee_7 (int one, int (*)(int, int), float three);
 144                                ^~~~~~~~~~~~~~~~~
 145      { dg-end-multiline-output "" } */
 146 }
 147
 148 /* -Wincompatible-pointer-types for a parameter.  */
 149
 150 extern int callee_8 (int one, float *two, float (three)); /* { dg-line callee_8 } */
 151
 152 int test_8 (int first, int *second, float third)
 153 {
 154   return callee_8 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_8' from incompatible pointer type" } */
 155   /* { dg-begin-multiline-output "" }
 156    return callee_8 (first, second, third);
 157                            ^~~~~~
 158                            |
 159                            int *
 160      { dg-end-multiline-output "" } */
 161   /* { dg-message "expected 'float \\*' but argument is of type 'int \\*'" "" { target *-*-* } callee_8 } */
 162   /* { dg-begin-multiline-output "" }
 163  extern int callee_8 (int one, float *two, float (three));
 164                                ~~~~~~~^~~
 165      { dg-end-multiline-output "" } */
 166 }
 167
 168 /* -Wpointer-sign for a parameter.  */
 169
 170 extern int callee_9 (int one, int *two, float (three)); /* { dg-line callee_9 } */
 171
 172 int test_9 (int first, unsigned int *second, float third)
 173 {
 174   return callee_9 (first, second, third); /* { dg-warning "pointer targets in passing argument 2 of 'callee_9' differ in signedness" } */
 175   /* { dg-begin-multiline-output "" }
 176    return callee_9 (first, second, third);
 177                            ^~~~~~
 178                            |
 179                            unsigned int *
 180      { dg-end-multiline-output "" } */
 181   /* { dg-message "expected 'int \\*' but argument is of type 'unsigned int \\*'" "" { target *-*-* } callee_9 } */
 182   /* { dg-begin-multiline-output "" }
 183  extern int callee_9 (int one, int *two, float (three));
 184                                ~~~~~^~~
 185      { dg-end-multiline-output "" } */
 186 }