123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111 |
- /*
- * (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;
- }
|