wrong sped function abstraction when using states and loops
Extended Description
Created an attachment (id=1025)
source code
after mtstf ( sac2c-d -mt -o lib -Llib 1130.sac -noprelude -bmt:mtstf) we have:
_flat_0 = with2 (_pinl_420_iv=[_pinl_421__eat_14] (IDXS:_wlidx_581__flat_0)) {....}
where _pinl_1116__flat_59 is locally defined and used in the body...
after mtspmdf (sac2c-d -mt -o lib -Llib 1130.sac -noprelude -bmt:mtspmdf) we have:
cs, scs__SSA0_2 = maxclique:_ST::_mtspmdf_1354_expandFS( _pinl_1116__flat_59, c, scs, _flat_0) ;
this results in broken C code where the variable is used when setting up the SPMD frame without being defined.