107 lines
2.1 KiB
C
107 lines
2.1 KiB
C
|
/* $Header$ */
|
||
|
|
/* D E C L A R A T O R M A N I P U L A T I O N */
|
||
|
|
|
||
|
|
#include "botch_free.h" /* UF */
|
||
|
|
#include "alloc.h"
|
||
|
|
#include "arith.h"
|
||
|
|
#include "type.h"
|
||
|
|
#include "Lpars.h"
|
||
|
|
#include "declarator.h"
|
||
|
|
#include "storage.h"
|
||
|
|
#include "idf.h"
|
||
|
|
#include "label.h"
|
||
|
|
#include "expr.h"
|
||
|
|
#include "sizes.h"
|
||
|
|
|
||
|
|
struct declarator null_declarator;
|
||
|
|
|
||
|
|
struct type *
|
||
|
|
declare_type(tp, dc)
|
||
|
|
struct type *tp;
|
||
|
|
struct declarator *dc;
|
||
|
|
{
|
||
|
|
/* Applies the decl_unary list starting at dc->dc_decl_unary
|
||
|
|
to the type tp and returns the result.
|
||
|
|
*/
|
||
|
|
register struct decl_unary *du = dc->dc_decl_unary;
|
||
|
|
|
||
|
|
while (du) {
|
||
|
|
tp = construct_type(du->du_fund, tp, du->du_count);
|
||
|
|
du = du->next;
|
||
|
|
}
|
||
|
|
return tp;
|
||
|
|
}
|
||
|
|
|
||
|
|
add_decl_unary(dc, fund, count, is)
|
||
|
|
struct declarator *dc;
|
||
|
|
arith count;
|
||
|
|
struct idstack_item *is;
|
||
|
|
{
|
||
|
|
/* A decl_unary describing a constructor with fundamental
|
||
|
|
type fund and with size count is inserted in front of the
|
||
|
|
declarator dc.
|
||
|
|
*/
|
||
|
|
register struct decl_unary *new = new_decl_unary();
|
||
|
|
|
||
|
|
clear((char *)new, sizeof(struct decl_unary));
|
||
|
|
new->next = dc->dc_decl_unary;
|
||
|
|
new->du_fund = fund;
|
||
|
|
new->du_count = count;
|
||
|
|
if (is) {
|
||
|
|
if (dc->dc_decl_unary) {
|
||
|
|
/* paramlist only allowed at first decl_unary */
|
||
|
|
error("formal parameter list discarded");
|
||
|
|
}
|
||
|
|
else {
|
||
|
|
/* register the parameters */
|
||
|
|
dc->dc_fparams = is;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
dc->dc_decl_unary = new;
|
||
|
|
}
|
||
|
|
|
||
|
|
remove_declarator(dc)
|
||
|
|
struct declarator *dc;
|
||
|
|
{
|
||
|
|
/* The decl_unary list starting at dc->dc_decl_unary is
|
||
|
|
removed.
|
||
|
|
*/
|
||
|
|
register struct decl_unary *du = dc->dc_decl_unary;
|
||
|
|
|
||
|
|
while (du) {
|
||
|
|
struct decl_unary *old_du = du;
|
||
|
|
|
||
|
|
du = du->next;
|
||
|
|
free_decl_unary(old_du);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
reject_params(dc)
|
||
|
|
struct declarator *dc;
|
||
|
|
{
|
||
|
|
/* The declarator is checked to have no parameters, if it
|
||
|
|
is a function.
|
||
|
|
*/
|
||
|
|
if (dc->dc_fparams) {
|
||
|
|
error("non_empty formal parameter pack");
|
||
|
|
del_idfstack(dc->dc_fparams);
|
||
|
|
dc->dc_fparams = 0;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
array_subscript(expr)
|
||
|
|
struct expr *expr;
|
||
|
|
{
|
||
|
|
arith size = expr->VL_VALUE;
|
||
|
|
|
||
|
|
if (size < 0) {
|
||
|
|
error("negative number of array elements");
|
||
|
|
expr->VL_VALUE = (arith)1;
|
||
|
|
}
|
||
|
|
else
|
||
|
|
if (size & ~max_unsigned) { /* absolute ridiculous */
|
||
|
|
expr_error(expr, "overflow in array size");
|
||
|
|
expr->VL_VALUE = (arith)1;
|
||
|
|
}
|
||
|
|
}
|