=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/pvar.c,v retrieving revision 1.23 retrieving revision 1.24 diff -u -p -r1.23 -r1.24 --- OpenXM_contrib2/asir2000/parse/pvar.c 2017/02/07 08:30:31 1.23 +++ OpenXM_contrib2/asir2000/parse/pvar.c 2018/03/29 01:32:54 1.24 @@ -45,7 +45,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/parse/pvar.c,v 1.22 2015/08/14 13:51:56 fujimoto Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/parse/pvar.c,v 1.23 2017/02/07 08:30:31 noro Exp $ */ #include "ca.h" #include "parse.h" @@ -57,71 +57,71 @@ int gdef,mgdef,ldef; void mkpvs(char *fname) { - VS pvs; - char *fullname,*buf; - FUNC f; + VS pvs; + char *fullname,*buf; + FUNC f; - if ( CUR_MODULE ) { - /* function must be declared in advance */ - searchf(CUR_MODULE->usrf_list,fname,&f); - if ( !f ) { - buf = ALLOCA(strlen("undeclared function "+strlen(fname)+10)); - sprintf(buf,"undeclared function `%s'",fname); - yyerror(buf); - error("cannot continue to read inputs"); - } - } - pvs = (VS)MALLOC(sizeof(struct oVS)); - pvs->va = (struct oPV *)MALLOC(DEFSIZE*sizeof(struct oPV)); - pvs->n = 0; - pvs->asize=DEFSIZE; - CPVS = pvs; + if ( CUR_MODULE ) { + /* function must be declared in advance */ + searchf(CUR_MODULE->usrf_list,fname,&f); + if ( !f ) { + buf = ALLOCA(strlen("undeclared function "+strlen(fname)+10)); + sprintf(buf,"undeclared function `%s'",fname); + yyerror(buf); + error("cannot continue to read inputs"); + } + } + pvs = (VS)MALLOC(sizeof(struct oVS)); + pvs->va = (struct oPV *)MALLOC(DEFSIZE*sizeof(struct oPV)); + pvs->n = 0; + pvs->asize=DEFSIZE; + CPVS = pvs; - /* XXX */ - if ( CUR_MODULE ) { - fullname = - (char *)MALLOC_ATOMIC(strlen(CUR_MODULE->name)+strlen(fname)+1); - sprintf(fullname,"%s.%s",CUR_MODULE->name,fname); - CUR_FUNC = fullname; - } else - CUR_FUNC = fname; + /* XXX */ + if ( CUR_MODULE ) { + fullname = + (char *)MALLOC_ATOMIC(strlen(CUR_MODULE->name)+strlen(fname)+1); + sprintf(fullname,"%s.%s",CUR_MODULE->name,fname); + CUR_FUNC = fullname; + } else + CUR_FUNC = fname; } void pushpvs(FUNC f) { - VS pvs; - NODE node; - int level; - extern int evalstatline; + VS pvs; + NODE node; + int level; + extern int evalstatline; - pvs = f->f.usrf->pvs; - if ( PVSS ) { - ((VS)BDY(PVSS))->at = evalstatline; - level = ((VS)BDY(PVSS))->level+1; - } else - level = 1; - MKNODE(node,pvs,PVSS); - PVSS = node; - CPVS = (VS)MALLOC(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS; - CPVS->usrf = f; - CPVS->n = CPVS->asize = pvs->n; - CPVS->level = level; - if ( CPVS->n ) { - CPVS->va = (struct oPV *)MALLOC(CPVS->n*sizeof(struct oPV)); - bcopy((char *)pvs->va,(char *)CPVS->va,(int)(pvs->n*sizeof(struct oPV))); - } - if ( nextbp ) - nextbplevel++; + pvs = f->f.usrf->pvs; + if ( PVSS ) { + ((VS)BDY(PVSS))->at = evalstatline; + level = ((VS)BDY(PVSS))->level+1; + } else + level = 1; + MKNODE(node,pvs,PVSS); + PVSS = node; + CPVS = (VS)MALLOC(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS; + CPVS->usrf = f; + CPVS->n = CPVS->asize = pvs->n; + CPVS->level = level; + if ( CPVS->n ) { + CPVS->va = (struct oPV *)MALLOC(CPVS->n*sizeof(struct oPV)); + bcopy((char *)pvs->va,(char *)CPVS->va,(int)(pvs->n*sizeof(struct oPV))); + } + if ( nextbp ) + nextbplevel++; } void poppvs() { - PVSS = NEXT(PVSS); - if ( PVSS ) - CPVS = (VS)BDY(PVSS); - else - CPVS = GPVS; - if ( nextbp ) - nextbplevel--; + PVSS = NEXT(PVSS); + if ( PVSS ) + CPVS = (VS)BDY(PVSS); + else + CPVS = GPVS; + if ( nextbp ) + nextbplevel--; } #define IS_LOCAL 0 @@ -132,178 +132,178 @@ void poppvs() { unsigned int makepvar(char *str) { - int c,c1,created; - char *buf; + int c,c1,created; + char *buf; - if ( str[0] == '_' ) { - /* pattern variable */ - c1 = getpvar(PPVS,str,0); - c = PVPATTERN((unsigned int)c1); - PPVS->va[c1].attr = IS_PATTERN; - } else if ( gdef ) { - /* EPVS : global list of the current file */ - /* add to the local variable list */ - /* also add to the external variable list */ - c = getpvar(CPVS,str,0); - getpvar(EPVS,str,0); - if ( CUR_MODULE ) { - c1 = getpvar(CUR_MODULE->pvs,str,1); - if ( c1 >= 0 ) goto CONFLICTION; - } - if ( CPVS != GPVS ) { - /* inside function : we add the name to the global list */ - getpvar(GPVS,str,0); - CPVS->va[c].attr = IS_GLOBAL; - } - } else if ( mgdef ) { - c = getpvar(CPVS,str,0); - getpvar(CUR_MODULE->pvs,str,0); - c1 = getpvar(EPVS,str,1); - if ( c1 >= 0 ) goto CONFLICTION; - if ( CPVS != GPVS ) { - /* inside function */ - CPVS->va[c].attr = IS_MGLOBAL; - } - } else if ( ldef > 0 ) { - /* if ldef > 0, then local variables are being declared */ - c = getpvar(CPVS,str,0); - c1 = getpvar(EPVS,str,1); - if ( c1 >= 0 ) { - if ( CUR_MODULE ) - goto CONFLICTION; - else { - fprintf(stderr,"Warning: \"%s\", near line %d: conflicting declarations for `%s'\n", - asir_infile->name,asir_infile->ln,str); - fprintf(stderr," `%s' is bound to the global variable\n",str); - CPVS->va[c].attr = IS_GLOBAL; - c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1); - } - } else { - if ( CUR_MODULE ) { - c1 = getpvar(CUR_MODULE->pvs,str,1); - } - if ( c1 >= 0 ) goto CONFLICTION; - CPVS->va[c].attr = IS_LOCAL; - } - } else if ( CPVS != GPVS ) { - /* inside function */ - if ( CUR_MODULE ) { - /* search only */ - c = getpvar(CPVS,str,1); - if ( c < 0 ) { - c = getpvar(CPVS,str,0); - created = 1; - } else - created = 0; - } else { - /* may be created */ - c = getpvar(CPVS,str,0); - } - switch ( CPVS->va[c].attr ) { - case IS_GLOBAL: - c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1); - break; - case IS_MGLOBAL: - c1 = getpvar(CUR_MODULE->pvs,str,1); c = PVMGLOBAL((unsigned int)c1); - break; - case IS_LOCAL: - default: - if ( CUR_MODULE && - ((c1 = getpvar(CUR_MODULE->pvs,str,1)) >= 0) ) { - CPVS->va[c].attr = IS_MGLOBAL; - c = PVMGLOBAL((unsigned int)c1); - } else if ( getpvar(EPVS,str,1) >= 0 ) { - CPVS->va[c].attr = IS_GLOBAL; - c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1); - } else if ( CUR_MODULE && created && (ldef == 0) ) { - /* not declared */ - /* if ldef == 0, at least one local variables has been - declared */ - fprintf(stderr, - "Warning: \"%s\", near line %d: undeclared local variable `%s'\n", - asir_infile->name,asir_infile->ln,str); - } - break; - } - } else if ( CUR_MODULE ) { - /* outside function, inside module */ - if ( (c = getpvar(CUR_MODULE->pvs,str,1)) >= 0 ) - c = PVMGLOBAL((unsigned int)c); - else if ( getpvar(EPVS,str,1) >= 0 ) { - c = getpvar(GPVS,str,1); - c = PVGLOBAL((unsigned int)c); - } else { - /* not declared as static or extern */ - buf = ALLOCA(strlen("undeclared variable"+strlen(str)+10)); - sprintf(buf,"undeclared variable `%s'",str); - yyerror(buf); - } - } else { - /* outside function, outside module */ - c = getpvar(GPVS,str,0); - } - return c; + if ( str[0] == '_' ) { + /* pattern variable */ + c1 = getpvar(PPVS,str,0); + c = PVPATTERN((unsigned int)c1); + PPVS->va[c1].attr = IS_PATTERN; + } else if ( gdef ) { + /* EPVS : global list of the current file */ + /* add to the local variable list */ + /* also add to the external variable list */ + c = getpvar(CPVS,str,0); + getpvar(EPVS,str,0); + if ( CUR_MODULE ) { + c1 = getpvar(CUR_MODULE->pvs,str,1); + if ( c1 >= 0 ) goto CONFLICTION; + } + if ( CPVS != GPVS ) { + /* inside function : we add the name to the global list */ + getpvar(GPVS,str,0); + CPVS->va[c].attr = IS_GLOBAL; + } + } else if ( mgdef ) { + c = getpvar(CPVS,str,0); + getpvar(CUR_MODULE->pvs,str,0); + c1 = getpvar(EPVS,str,1); + if ( c1 >= 0 ) goto CONFLICTION; + if ( CPVS != GPVS ) { + /* inside function */ + CPVS->va[c].attr = IS_MGLOBAL; + } + } else if ( ldef > 0 ) { + /* if ldef > 0, then local variables are being declared */ + c = getpvar(CPVS,str,0); + c1 = getpvar(EPVS,str,1); + if ( c1 >= 0 ) { + if ( CUR_MODULE ) + goto CONFLICTION; + else { + fprintf(stderr,"Warning: \"%s\", near line %d: conflicting declarations for `%s'\n", + asir_infile->name,asir_infile->ln,str); + fprintf(stderr," `%s' is bound to the global variable\n",str); + CPVS->va[c].attr = IS_GLOBAL; + c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1); + } + } else { + if ( CUR_MODULE ) { + c1 = getpvar(CUR_MODULE->pvs,str,1); + } + if ( c1 >= 0 ) goto CONFLICTION; + CPVS->va[c].attr = IS_LOCAL; + } + } else if ( CPVS != GPVS ) { + /* inside function */ + if ( CUR_MODULE ) { + /* search only */ + c = getpvar(CPVS,str,1); + if ( c < 0 ) { + c = getpvar(CPVS,str,0); + created = 1; + } else + created = 0; + } else { + /* may be created */ + c = getpvar(CPVS,str,0); + } + switch ( CPVS->va[c].attr ) { + case IS_GLOBAL: + c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1); + break; + case IS_MGLOBAL: + c1 = getpvar(CUR_MODULE->pvs,str,1); c = PVMGLOBAL((unsigned int)c1); + break; + case IS_LOCAL: + default: + if ( CUR_MODULE && + ((c1 = getpvar(CUR_MODULE->pvs,str,1)) >= 0) ) { + CPVS->va[c].attr = IS_MGLOBAL; + c = PVMGLOBAL((unsigned int)c1); + } else if ( getpvar(EPVS,str,1) >= 0 ) { + CPVS->va[c].attr = IS_GLOBAL; + c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1); + } else if ( CUR_MODULE && created && (ldef == 0) ) { + /* not declared */ + /* if ldef == 0, at least one local variables has been + declared */ + fprintf(stderr, + "Warning: \"%s\", near line %d: undeclared local variable `%s'\n", + asir_infile->name,asir_infile->ln,str); + } + break; + } + } else if ( CUR_MODULE ) { + /* outside function, inside module */ + if ( (c = getpvar(CUR_MODULE->pvs,str,1)) >= 0 ) + c = PVMGLOBAL((unsigned int)c); + else if ( getpvar(EPVS,str,1) >= 0 ) { + c = getpvar(GPVS,str,1); + c = PVGLOBAL((unsigned int)c); + } else { + /* not declared as static or extern */ + buf = ALLOCA(strlen("undeclared variable"+strlen(str)+10)); + sprintf(buf,"undeclared variable `%s'",str); + yyerror(buf); + } + } else { + /* outside function, outside module */ + c = getpvar(GPVS,str,0); + } + return c; CONFLICTION: - buf = ALLOCA(strlen("conflicting declarations for "+strlen(str)+10)); - sprintf(buf,"conflicting declarations for `%s'",str); - yyerror(buf); + buf = ALLOCA(strlen("conflicting declarations for "+strlen(str)+10)); + sprintf(buf,"conflicting declarations for `%s'",str); + yyerror(buf); } extern FUNC parse_targetf; int searchpvar(char *str) { - VS pvs; - MODULE mod; - int c; + VS pvs; + MODULE mod; + int c; - if ( parse_targetf && parse_targetf->id != A_USR ) - c = -1; - else if ( parse_targetf ) { - pvs = parse_targetf->f.usrf->pvs; - mod = parse_targetf->f.usrf->module; - if ( (c = getpvar(pvs,str,1)) >= 0 ) { - switch ( pvs->va[c].attr ) { - case IS_GLOBAL: - c = getpvar(GPVS,str,1); - c = PVGLOBAL((unsigned int)c); - break; - case IS_MGLOBAL: - c = getpvar(mod->pvs,str,1); - c = PVMGLOBAL((unsigned int)c); - break; - default: - break; - } - } else if ( mod && (c = getpvar(mod->pvs,str,1)) >= 0 ) - c = PVMGLOBAL((unsigned int)c); - else if ( (c = getpvar(GPVS,str,1)) >= 0 ) - c = PVGLOBAL((unsigned int)c); - else - c = -1; - } - return c; + if ( parse_targetf && parse_targetf->id != A_USR ) + c = -1; + else if ( parse_targetf ) { + pvs = parse_targetf->f.usrf->pvs; + mod = parse_targetf->f.usrf->module; + if ( (c = getpvar(pvs,str,1)) >= 0 ) { + switch ( pvs->va[c].attr ) { + case IS_GLOBAL: + c = getpvar(GPVS,str,1); + c = PVGLOBAL((unsigned int)c); + break; + case IS_MGLOBAL: + c = getpvar(mod->pvs,str,1); + c = PVMGLOBAL((unsigned int)c); + break; + default: + break; + } + } else if ( mod && (c = getpvar(mod->pvs,str,1)) >= 0 ) + c = PVMGLOBAL((unsigned int)c); + else if ( (c = getpvar(GPVS,str,1)) >= 0 ) + c = PVGLOBAL((unsigned int)c); + else + c = -1; + } + return c; } int getpvar(VS pvs,char *str,int searchonly) { - struct oPV *va; - PV v; - int i; + struct oPV *va; + PV v; + int i; - for ( va = pvs->va, i = 0; i < (int)pvs->n; i++ ) - if ( va[i].name && !strcmp(va[i].name,str) ) - return i; - if ( searchonly ) - return -1; - if ( pvs->asize == pvs->n ) - asir_reallocarray((char **)&pvs->va,(int *)&pvs->asize,(int *)&pvs->n,(int)sizeof(struct oPV)); - v = &pvs->va[pvs->n]; - NAME(v) = (char *)CALLOC(strlen(str)+1,sizeof(char)); - strcpy(NAME(v),str); v->priv = 0; - v->attr= IS_LOCAL; v->type = -1; i = pvs->n; pvs->n++; - return i; + for ( va = pvs->va, i = 0; i < (int)pvs->n; i++ ) + if ( va[i].name && !strcmp(va[i].name,str) ) + return i; + if ( searchonly ) + return -1; + if ( pvs->asize == pvs->n ) + asir_reallocarray((char **)&pvs->va,(int *)&pvs->asize,(int *)&pvs->n,(int)sizeof(struct oPV)); + v = &pvs->va[pvs->n]; + NAME(v) = (char *)CALLOC(strlen(str)+1,sizeof(char)); + strcpy(NAME(v),str); v->priv = 0; + v->attr= IS_LOCAL; v->type = -1; i = pvs->n; pvs->n++; + return i; } #if defined(VISUAL) || defined(__MINGW32__) @@ -314,28 +314,28 @@ int getpvar(VS pvs,char *str,int searchonly) void closecurrentinput() { - if ( asir_infile && !asir_infile->fp ) - return; + if ( asir_infile && !asir_infile->fp ) + return; #if defined(VISUAL) || defined(__MINGW32__) - fclose(asir_infile->fp); - unlink(asir_infile->tname); + fclose(asir_infile->fp); + unlink(asir_infile->tname); #else - if ( asir_infile->fp != stdin ) - PCLOSE(asir_infile->fp); + if ( asir_infile->fp != stdin ) + PCLOSE(asir_infile->fp); #endif - asir_infile = NEXT(asir_infile); + asir_infile = NEXT(asir_infile); } void resetpvs() { - if ( asir_infile && !NEXT(asir_infile) ) { - PVSS = 0; CPVS = GPVS; MPVS = 0; CUR_MODULE = 0; nextbp = 0; - gdef = mgdef = ldef = 0; - if ( EPVS->va ) { - bzero((char *)EPVS->va,(int)(EPVS->asize*sizeof(struct oPV))); EPVS->n = 0; - } - } + if ( asir_infile && !NEXT(asir_infile) ) { + PVSS = 0; CPVS = GPVS; MPVS = 0; CUR_MODULE = 0; nextbp = 0; + gdef = mgdef = ldef = 0; + if ( EPVS->va ) { + bzero((char *)EPVS->va,(int)(EPVS->asize*sizeof(struct oPV))); EPVS->n = 0; + } + } } static NODE saved_PVSS; @@ -344,23 +344,23 @@ static int saved_nextbp, saved_nextbplevel; void savepvs() { - saved_PVSS = PVSS; - saved_CPVS = CPVS; - saved_nextbp = nextbp; - saved_nextbplevel = nextbplevel; + saved_PVSS = PVSS; + saved_CPVS = CPVS; + saved_nextbp = nextbp; + saved_nextbplevel = nextbplevel; } void restorepvs() { - PVSS = saved_PVSS; - CPVS = saved_CPVS; - nextbp = saved_nextbp; - nextbplevel = saved_nextbplevel; + PVSS = saved_PVSS; + CPVS = saved_CPVS; + nextbp = saved_nextbp; + nextbplevel = saved_nextbplevel; } void storeans(pointer p) { - if ( APVS->asize == APVS->n ) - asir_reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); - APVS->va[APVS->n++].priv = p; + if ( APVS->asize == APVS->n ) + asir_reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); + APVS->va[APVS->n++].priv = p; }