Opened 17 years ago

Closed 17 years ago

#33 closed defect (fixed)

illegal use of output variable in matmat

Reported by: Stephen Siegel Owned by: zirkel
Priority: major Milestone:
Component: examples Version: 1.0
Keywords: output matmat matrix multiplication Cc:

Description 

frederic:matmat siegel$ tass verify matmat-seq_3.mmp
+----------------------------------------------------------------------+ 
|           TASS: Toolkit for Accurate Scientific Software             | 
|    version 1.0      Aug 22, 2009      http://vsl.cis.udel.edu/tass   | 
+----------------------------------------------------------------------+
                   Function           : verify
                   model              : matmat-seq_3.mmp(np=1)
                   Deadlock detection : absolute
                   Reduction          : standard
                   verbose:           : No

Exception in thread "main" edu.udel.cis.vsl.minimp.model.IF.SyntaxException: Syntax error in line 30 column 19 through line 30 column 23:
c[i]):
c[i]
Argument 2 of function call not in read scope of calling function main
	at edu.udel.cis.vsl.minimp.model.impl.statement.InvocationStatement.<init>(InvocationStatement.java:63)
	at edu.udel.cis.vsl.minimp.model.impl.Model.newInvocationStatement(Model.java:309)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processInvocationStmt(ModelBuilder.java:673)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processStatement(ModelBuilder.java:489)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processCompoundStmt(ModelBuilder.java:578)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processStatement(ModelBuilder.java:473)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processWhileStmt(ModelBuilder.java:810)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processStatement(ModelBuilder.java:505)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processStatementList(ModelBuilder.java:449)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processFunctionBody(ModelBuilder.java:411)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processFunctions(ModelBuilder.java:386)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processAST(ModelBuilder.java:244)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.buildModel(ModelBuilder.java:237)
	at edu.udel.cis.vsl.minimp.Minimp.verify(Minimp.java:255)
	at edu.udel.cis.vsl.minimp.Minimp.main(Minimp.java:369)

Change History (2)

comment:1 by zirkel, 17 years ago

Status: new → accepted

comment:2 by zirkel, 17 years ago

Resolution: → fixed
Status: accepted → closed

Now uses a temporary variable, which is later copied to the output variable.

Note: See TracTickets for help on using tickets.