===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/pvar.c,v
retrieving revision 1.13
retrieving revision 1.16
diff -u -p -r1.13 -r1.16
--- OpenXM_contrib2/asir2000/parse/pvar.c	2003/05/20 06:26:29	1.13
+++ OpenXM_contrib2/asir2000/parse/pvar.c	2006/02/08 02:11:19	1.16
@@ -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.12 2003/05/20 06:15:01 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/pvar.c,v 1.15 2005/10/26 07:33:03 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -126,16 +126,22 @@ void poppvs() {
 #define IS_LOCAL 0
 #define IS_GLOBAL 1
 #define IS_MGLOBAL 2
+#define IS_PATTERN 3
 
 
 unsigned int makepvar(char *str)
 {
 	int c,c1,created;
 
-	/* EPVS : global list of the current file */
-	/* add to the local variable list */
-	if ( gdef ) {
-		/* add to the external variable list */
+	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 ) {
@@ -160,12 +166,23 @@ unsigned int makepvar(char *str)
 		/* if ldef > 0, then local variables are being declared */
 		c = getpvar(CPVS,str,0);
 		c1 = getpvar(EPVS,str,1);
-		if ( c1 >= 0 ) goto CONFLICTION;
-		if ( CUR_MODULE ) {
-			c1 = getpvar(CUR_MODULE->pvs,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;
 		}
-		if ( c1 >= 0 ) goto CONFLICTION;
-		CPVS->va[c].attr = IS_LOCAL;
 	} else if ( CPVS != GPVS ) {
 		/* inside function */
 		if ( CUR_MODULE ) {
@@ -302,7 +319,8 @@ void closecurrentinput()
 	fclose(asir_infile->fp); 
 	unlink(asir_infile->tname);
 #else
-	PCLOSE(asir_infile->fp);
+	if ( asir_infile->fp != stdin )
+		PCLOSE(asir_infile->fp);
 #endif
 	asir_infile = NEXT(asir_infile);
 	resetpvs();
@@ -310,7 +328,7 @@ void closecurrentinput()
 
 void resetpvs()
 {
-	if ( !NEXT(asir_infile) ) {
+	if ( asir_infile && !NEXT(asir_infile) ) {
 		PVSS = 0; CPVS = GPVS; MPVS = 0; CUR_MODULE = 0; nextbp = 0;
 		gdef = mgdef = ldef = 0;
 		if ( EPVS->va ) {