id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
133	null pointer exception in model builder	Stephen Siegel	ywei	"{{{
+----------------------------------------------------------------------+
|           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."	defect	closed	major		front	1.0	fixed