/*
 * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
 * See the copyright notice in the ACK home directory, in the file "Copyright".
 */
/* $Id$ */
/*	D E C L A R A T I O N   S P E C I F I E R   C H E C K I N G	*/

#include	"nofloat.h"
#include	"assert.h"
#include	"Lpars.h"
#include	"decspecs.h"
#include	"arith.h"
#include	"type.h"
#include	"level.h"
#include	"def.h"
#include	"noRoption.h"

extern char options[];
extern int level;
extern char *symbol2str();

struct decspecs null_decspecs;

do_decspecs(ds)
	register struct decspecs *ds;
{
	/*	The provisional decspecs ds as obtained from the program
		is turned into a legal consistent decspecs.
	*/
	register struct type *tp = ds->ds_type;
	
	ASSERT(level != L_FORMAL1);
	
	if (	level == L_GLOBAL &&
		(ds->ds_sc == AUTO || ds->ds_sc == REGISTER)
	)	{
		warning("no global %s variable allowed",
			symbol2str(ds->ds_sc));
		ds->ds_sc = GLOBAL;
	}

	if (level == L_FORMAL2)	{
		if (ds->ds_sc_given &&
		    ds->ds_sc != REGISTER){
			error("%s formal illegal", symbol2str(ds->ds_sc));
			ds->ds_sc = FORMAL;
		}
	}
	/*	The tests concerning types require a full knowledge of the
		type and will have to be postponed to declare_idf.
	*/

	/* some adjustments as described in RM 8.2 */
	if (tp == 0 && ds->ds_size == 0 && ds->ds_unsigned == 0) {
		ds->ds_notypegiven = 1;
	}
	if (tp == 0) {
		tp = int_type;
	}
	switch (ds->ds_size)	{
	case SHORT:
		if (tp == int_type)
			tp = short_type;
		else
			error("short with illegal type");
		break;
	case LONG:
		if (tp == int_type)
			tp = long_type;
		else
#ifndef NOFLOAT
		if (tp == float_type)
			tp = double_type;
		else
#endif /* NOFLOAT */
			error("long with illegal type");
		break;
	}
	if (ds->ds_unsigned)	{
		switch (tp->tp_fund)	{
		case CHAR:
#ifndef NOROPTION
			if (options['R'])
				warning("unsigned char not allowed");
#endif
			tp = uchar_type;
			break;
		case SHORT:
#ifndef NOROPTION
			if (options['R'])
				warning("unsigned short not allowed");
#endif
			tp = ushort_type;
			break;
		case INT:
			tp = uint_type;
			break;
		case LONG:
#ifndef NOROPTION
			if (options['R'])
				warning("unsigned long not allowed");
#endif
			tp = ulong_type;
			break;
		default:
			error("unsigned with illegal type");
			break;
		}
	}
	ds->ds_type = tp;
}