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.