null pointer exception in model builder

[Stephen Siegel]

+----------------------------------------------------------------------+
|           TASS: Toolkit for Accurate Scientific Software             |
|  version 1.0.r1240 (2009-12-20)        http://vsl.cis.udel.edu/tass  |
+----------------------------------------------------------------------+
               model : diffusion1_par (numProcs = 2)
          sourceFile : examples/diffusion/diffusion1_par.mmp
                mode : VERIFY
              prover : CVC3
            deadlock : ABSOLUTE
           reduction : URGENT
            simplify : true
             verbose : false
         loop method : false
          repository : ./TASSREP

Exception in thread "main" java.lang.NullPointerException
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processVariableExpr(ModelBuilder.java:1233)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processExpression(ModelBuilder.java:1038)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processDimensions(ModelBuilder.java:402)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processGlobalVariables(ModelBuilder.java:337)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processAST(ModelBuilder.java:276)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.buildModel(ModelBuilder.java:271)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelExtractor.extract(ModelExtractor.java:30)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelExtractor.extractModel(ModelExtractor.java:54)
	at edu.udel.cis.vsl.minimp.MiniMP.verify(MiniMP.java:408)
	at edu.udel.cis.vsl.minimp.MiniMP.main(MiniMP.java:483)

Here's the relevant code:

int m = ((PID+1)*nx)/NPROCS - (PID*nx)/NPROCS + 2;

 /* temp. buffer used on proc 0 only */ 
real[m] buf;   

I'm trying to check in the code but am having svn problems.

[ywei]

Bug fixed. It seemed that the merely using a map to store global variables is not enough, so I added a list to record the order they are declared. So m will be processed before buf, which means by the time the variable buf is being processed, m has already had its definition.

[ywei]

Forgot to close the ticket.