id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
79	for loop problem	Stephen Siegel		"I changed the first while loop in the matrixMultiplication examples to a for loop and got an unreachable location exception (again on a location with no source information, so difficult to debug).    Here is code which I called mms2.mmp.  I just ran 

{{{tass verify mms2.mmp}}}

{{{
input int N {N>=0 && N<=2};
input real[N][N] A;
input real[N][N] B;
output real[N][N] C;

void main() {
  int i; 
  int j;
  int k;
  real[N][N] D;

  for (i = 0; i < N; i=i+1) {
    j = 0;
    while (j < N) {
      D[i][j] = 0.0;
      j = j + 1;
    }
  }
  i = 0;
  while (i < N) {
    j = 0;
    while (j < N) {
      k = 0;
      while (k < N) {
        D[i][j] = D[i][j] + A[i][k] * B[k][j]; 
        k = k + 1;
      }
      j  = j + 1;
    }
    i = i + 1;
  }
  i = 0;
  while (i < N) {
    j = 0;
    while (j < N) {
      C[i][j] = D[i][j];
      j = j + 1;
    }
    i = i + 1;
  }
}
}}}

{{{
frederic:matrixMultiplication siegel$ tass verify mms2.mmp
+----------------------------------------------------------------------+
|           TASS: Toolkit for Accurate Scientific Software             |
|  version 1.0.r1067 (2009-09-03)        http://vsl.cis.udel.edu/tass  |
+----------------------------------------------------------------------+
                   command            : verify
                   model              : mms2.mmp(np=1)
                   Deadlock detection : absolute
                   Reduction          : standard
                   verbose:           : No
                   simplify:          : No
                   bufferBound        : 10
                   use loop technique : false

Exception in thread ""main"" edu.udel.cis.vsl.minimp.model.IF.SyntaxException: Syntax error in null:
null[0]
Unreachable location
	at edu.udel.cis.vsl.minimp.model.impl.Function.complete(Function.java:339)
	at edu.udel.cis.vsl.minimp.model.impl.Process.complete(Process.java:122)
	at edu.udel.cis.vsl.minimp.model.impl.Model.complete(Model.java:141)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processAST(ModelBuilder.java:274)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.buildModel(ModelBuilder.java:261)
	at edu.udel.cis.vsl.minimp.Minimp.verify(Minimp.java:427)
	at edu.udel.cis.vsl.minimp.Minimp.main(Minimp.java:535)
frederic:matrixMultiplication siegel$ 
}}}

"	defect	closed	major		front	1.0	fixed	matrix multiplication, for