prop_obj_out is not eliminated in with-loop unrolling

Bugzilla Link	304
Created on	Oct 11, 2006 23:37
Resolution	FIXED
Resolved on	Jun 12, 2007 17:54
Version	1.00beta
OS	Linux
Architecture	PC
Attachments	nmo.sac, xnmo.sac

Extended Description

This is build # 15025
If I compile with -DBUG, as shown, I get this:
ABORT: line 870  file: nmo.sac
ABORT: No definition found for a function "plusDDD" that accepts an argument
ABORT: of type "double" as parameter no 1
*** Compilation failed ***
*** Exit code 6 (Running type inference system)
*** 1 Error(s), 64 Warning(s)
The relevant bit of code is this:
inline double plusslXDD(double[.] y)
{ /* First/last axis fold-based reduction of vector */
  lim = shape(y)[0]-1;
  z = with (0*shape(y) <= iv < shape(y))
#ifdef BUG
        fold( plusDDD, toD(0), toD(y[lim-iv]));
#else
        fold( +, toD(0), toD(y[lim-iv]));
#endif
  return(z);
}
inline double plusDDD(double x, double y)
{ return(x+y);
}
apex@rattler:~/sandbox> sac2c -DBUG nmo.sac
If I compile with:
sac2c -check b -maxwlur 3 -O3 nmo.sac
I get a crash in phase 15, "marking memval identifiers"