modarray-sel elimination not generally correct

Bugzilla Link	356
Created on	May 01, 2007 09:22
Resolution	FIXED
Resolved on	Nov 19, 2009 00:21
Version	1.00alpha
OS	All
Architecture	All
Attachments	killer.sac, format.sac

Extended Description

The transformation
a = modarray( b, iv, val);
x = sel( iv, a);
  =>
x = val;
is incorrect if val is not of correct element shape to be inserted
into b. In the original version the code eventually generated for 
modarray will check consistency, whereas the optimised code obviously
does not do so. 
To make this transformation correct we need to insert an appropriate
type assert.