Viewing file:  Wvla-parameter-4.c (3.47 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR c/50584 - No warning for passing small array to C99 static array
declarator
Verify warnings for redeclarations of functions with pointer parameters
to arrays with variable bounds involving typedefs.
{ dg-do compile }
{ dg-options "-Wall -Wvla-parameter" } */
extern int m, n;
typedef int IA3[3];
/* Verify the warning points to the declaration with more unspecified
bounds, guiding the user to specify them rather than making them all
unspecified. */
void* f_pIA3ax (IA3 *x[*]); // { dg-warning "argument 1 of type 'int \\\(\\\*\\\[\\\*]\\\)\\\[3]' .aka '\[^\n\r\}\]+'. declared with 1 unspecified variable bound" }
void* f_pIA3ax (IA3 *x[*]);
void* f_pIA3ax (IA3 *x[n]); // { dg-message "subsequently declared as 'int \\\(\\\*\\\[n]\\\)\\\[3]' with 0 unspecified variable bounds" "note" }
void* f_pIA3ax (IA3 *x[n]) { return x; }
void* f_pIA3an (IA3 *x[n]); // { dg-message "previously declared as 'int \\\(\\\*\\\[n]\\\)\\\[3]' with 0 unspecified variable bounds" "note" }
void* f_pIA3an (IA3 *x[n]);
void* f_pIA3an (IA3 *x[*]); // { dg-warning "argument 1 of type 'int \\\(\\\*\\\[\\\*]\\\)\\\[3]' .aka '\[^\n\r\}\]+'. declared with 1 unspecified variable bound" }
void* f_pIA3an (IA3 *x[n]) { return x; }
void nowarn_local_fndecl (void)
{
typedef int IAm[m];
void* f_IAm (IAm);
void* f_IAm (int[m]);
void* f_IAm (IAm);
void* f_iam (int[m]);
void* f_iam (IAm);
void* f_iam (int[m]);
typedef int IA3[3];
typedef IA3 IAn_3[n];
typedef IAn_3 IA2_n_3[2];
typedef IA2_n_3 IAm_2_n_3[m];
void f_IAm_2_n_3 (IAm_2_n_3);
void f_IAm_2_n_3 (IA2_n_3[m]);
void f_IAm_2_n_3 (IAn_3[m][2]);
void f_IAm_2_n_3 (IA3[m][2][n]);
void f_IAm_2_n_3 (int[m][2][n][3]);
void f_iam_2_n_3 (int[m][2][n][3]);
void f_iam_2_n_3 (IA3[m][2][n]);
void f_iam_2_n_3 (IAn_3[m][2]);
void f_iam_2_n_3 (IAm_2_n_3);
void f_IAx_m_2_n_3 (IAm_2_n_3[*]);
void f_IAx_m_2_n_3 (IA2_n_3[*][m]);
void f_IAx_m_2_n_3 (IAn_3[*][m][2]);
void f_IAx_m_2_n_3 (IA3[*][m][2][n]);
void f_IAx_m_2_n_3 (int[*][m][2][n][3]);
void f_IA__m_2_n_3 (IAm_2_n_3[]);
void f_IA__m_2_n_3 (IA2_n_3[][m]);
void f_IA__m_2_n_3 (IAn_3[][m][2]);
void f_IA__m_2_n_3 (IA3[][m][2][n]);
void f_IA__m_2_n_3 (int[][m][2][n][3]);
}
void warn_local_fndecl (void)
{
typedef int IAm[m];
typedef int IAn[n];
void* g_IAm (IAm); // { dg-message "previously declared as 'int\\\[m]' with bound 'm'" }
void* g_IAm (int[n]); // { dg-warning "argument 1 of type 'int\\\[n]' declared with mismatched bound 'n'" }
void* g_IAm (IAm);
void* g_iam (int[m]); // { dg-message "previously declared as 'int\\\[m]' with bound 'm'" }
void* g_iam (IAn); // { dg-warning "argument 1 of type 'int\\\[n]' declared with mismatched bound 'n'" }
void* g_iam (int[m]);
typedef int IA3[3];
typedef IA3 IAn_3[n];
typedef IAn_3 IA2_n_3[2];
typedef IA2_n_3 IAm_2_n_3[m];
typedef IA3 IAm_3[m];
typedef IAm_3 IA2_m_3[2];
typedef IA2_m_3 IAm_2_m_3[m];
void* g_IAm_2_n_3 (IAm_2_n_3);
void* g_IAm_2_n_3 (int[m][2][m][3]); // { dg-warning "argument 1 of type 'int\\\[m]\\\[2]\\\[m]\\\[3]' declared with mismatched bound 'm'" }
void* g_IAm_2_n_3 (IAm_2_n_3);
void* g_iam_2_n_2 (int[m][2][n][3]);
void* g_iam_2_n_2 (IAm_2_m_3); // { dg-warning "argument 1 of type 'int\\\[m]\\\[2]\\\[m]\\\[3]' declared with mismatched bound 'm'" }
void* g_iam_2_n_2 (int[m][2][n][3]);
}
|
