Opened 17 years ago

Closed 17 years ago

#61 closed defect (fixed)

null pointer exception in simpleMPSpec

Reported by: Stephen Siegel Owned by:
Priority: major Milestone:
Component: front Version: 1.0
Keywords: communication, receive, simpleMP Cc:

Description 

frederic:simpleMP siegel$ tass verify -verbose simpleMPSpec.mmp -np 2
+----------------------------------------------------------------------+
|           TASS: Toolkit for Accurate Scientific Software             |
|  version 1.0.r1027 (2009-08-26)        http://vsl.cis.udel.edu/tass  |
+----------------------------------------------------------------------+
                   command            : verify
                   model              : simpleMPSpec.mmp(np=2)
                   Deadlock detection : absolute
                   Reduction          : standard
                   verbose:           : Yes
                   simplify:          : No
                   bufferBound        : 10
Exception in thread "main" java.lang.NullPointerException
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processCommunicationExpr(TreeParser.java:1214)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processRecvStmt(TreeParser.java:1197)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStatement(TreeParser.java:912)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStatementList(TreeParser.java:1008)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processCompoundStmt(TreeParser.java:992)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStatement(TreeParser.java:908)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processConditionStmt(TreeParser.java:1019)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStatement(TreeParser.java:909)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStmtList(TreeParser.java:479)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processFunctionBody(TreeParser.java:452)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processFunction(TreeParser.java:387)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processAST(TreeParser.java:136)
	at edu.udel.cis.vsl.minimp.Minimp.verify(Minimp.java:388)
	at edu.udel.cis.vsl.minimp.Minimp.main(Minimp.java:506)
frederic:simpleMP siegel$

Change History (1)

comment:1 by ywei, 17 years ago

Resolution: → fixed
Status: new → closed

Fixed.

Note: See TracTickets for help on using tickets.