/*      $NetBSD: decl_arg.c,v 1.17 2025/01/03 03:14:47 rillig Exp $     */
# 3 "decl_arg.c"

/*
* Tests for declarations of function parameters.
*
* See arg_declaration in cgram.y.
*/

/* lint1-extra-flags: -X 351 */

typedef double number;

void no_args(void);
void type_unnamed(double );
void type_named(double arg);
void typedef_unnamed_prototype(number);
void typedef_named(number arg);

void type_qualifier(const number);
void type_qualifier_pointer(const number *const);

/*
* Just some unrealistic coverage for the grammar rule 'arg_declaration'.
*/
extern void
/* expect+6: warning: function definition for 'old_style' with identifier list is obsolete in C23 [384] */
/* expect+5: warning: parameter 'an_int' unused in function 'old_style' [231] */
/* expect+4: warning: parameter 'a_const_int' unused in function 'old_style' [231] */
/* expect+3: warning: parameter 'a_number' unused in function 'old_style' [231] */
/* expect+2: warning: parameter 'a_function' unused in function 'old_style' [231] */
/* expect+1: warning: parameter 'a_struct' unused in function 'old_style' [231] */
old_style(an_int, a_const_int, a_number, a_function, a_struct)
/* expect+2: error: only 'register' is valid as storage class in parameter [9] */
/* expect+1: warning: empty declaration [2] */
static;
/* expect+1: error: syntax error '"' [249] */
static "error";
/* expect+1: warning: empty declaration [2] */
const;
/* expect+1: error: declared parameter 'undeclared' is missing [53] */
const undeclared;
/* expect+2: error: declared parameter 'undeclared_initialized' is missing [53] */
/* expect+1: error: cannot initialize parameter 'undeclared_initialized' [52] */
const undeclared_initialized = 12345;
/* expect+1: warning: empty declaration [2] */
int;
/* expect+1: warning: 'struct arg_struct' declared in parameter declaration list [3] */
struct arg_struct { int member; };
/* expect+1: error: cannot initialize parameter 'an_int' [52] */
int an_int = 12345;
const int a_const_int;
number a_number;
void (a_function) (number);
/* expect+1: warning: 'struct a_struct' declared in parameter declaration list [3] */
struct a_struct { int member; } a_struct;
{
}

/*
* Just some unrealistic coverage for the grammar rule
* 'notype_direct_declarator'.
*/
extern int
/* expect+1: warning: function definition for 'cover_notype_direct_decl' with identifier list is obsolete in C23 [384] */
cover_notype_direct_decl(arg)
int arg;
/* expect+1: error: declared parameter 'name' is missing [53] */
const name;
/* expect+1: error: declared parameter 'parenthesized_name' is missing [53] */
const (parenthesized_name);
/* expect+1: error: declared parameter 'array' is missing [53] */
const array[];
/* expect+1: error: declared parameter 'array_size' is missing [53] */
const array_size[1+1+1];
/* expect+2: error: null dimension [17] */
/* expect+1: error: declared parameter 'multi_array' is missing [53] */
const multi_array[][][][][][];
/* expect+1: error: declared parameter 'function' is missing [53] */
const function(void);
/* expect+1: error: declared parameter 'prefix_attribute' is missing [53] */
const __attribute__((deprecated)) prefix_attribute;
/* expect+1: error: declared parameter 'postfix_attribute' is missing [53] */
const postfix_attribute __attribute__((deprecated));
/* expect+1: error: declared parameter 'infix_attribute' is missing [53] */
const __attribute__((deprecated)) infix_attribute __attribute__((deprecated));
/* The __attribute__ before the '*' is consumed by some other grammar rule. */
/* expect+7: error: declared parameter 'pointer_prefix_attribute' is missing [53] */
const
   __attribute__((deprecated))
   *
   __attribute__((deprecated))
   __attribute__((deprecated))
   __attribute__((deprecated))
   pointer_prefix_attribute;
{
       return arg;
}

// The attribute 'unused' belongs to the parameter.
// The attribute 'format' belongs to the function type.
void
param_func_attr_unused(
   void (*pr)(const char *, ...)
       __attribute__((__unused__))
       __attribute__((__format__(__printf__, 1, 2)))
)
{
}

// The attribute 'unused' belongs to the parameter.
// The attribute 'format' belongs to the function type.
void
param_func_attr_printf(
   void (*pr)(const char *, ...)
       __attribute__((__unused__))
       __attribute__((__format__(__printf__, 1, 2)))
)
{
       // GCC and Clang already warn about the malformed format string,
       // so there is nothing left to do for lint.
       pr("%");
}

/*
* XXX: To cover the grammar rule 'direct_notype_param_decl', the parameters
*  need to be enclosed by one more pair of parentheses than usual.
*/
void cover_direct_notype_param_decl(
   double (identifier),
   double ((parenthesized)),
   double (array[]),
   double (array_size[3]),
   double (*)(void (function()))
);

/*
* Just some unrealistic code to cover the grammar rule parameter_declaration.
*/
/* expect+4: error: only 'register' is valid as storage class in parameter [9] */
void cover_parameter_declaration(
   volatile,                   /* 1 */
   double,                     /* 2 */
   static storage_class,       /* 3.1 */
   const type_qualifier,       /* 3.2 */
   double (identifier),        /* 4 */
   const (*),                  /* 5 */
   double *const,              /* 6 */
   ...
);

void cover_asm_or_symbolrename_asm(void)
   __asm("assembly code");

void cover_asm_or_symbolrename_symbolrename(void)
   __symbolrename(alternate_name);


double
/* expect+1: warning: function definition for 'f' with identifier list is obsolete in C23 [384] */
f(e, s, r, a, t, n)
       /* expect+1: error: only 'register' is valid as storage class in parameter [9] */
       extern double e;
       /* expect+1: error: only 'register' is valid as storage class in parameter [9] */
       static double s;
       register double r;
       /* expect+1: error: only 'register' is valid as storage class in parameter [9] */
       auto double a;
       /* expect+1: error: only 'register' is valid as storage class in parameter [9] */
       typedef double t;
       double n;
{
       return e + s + r + a + t + n;
}


// FIXME: internal error in decl.c:906 near decl_arg.c:134: length(0)
//void cover_abstract_declarator_typeof(void (*)(typeof(no_args)));

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.