resolution of UDTs looses type precision
|
|
Bugzilla Link |
430 |
Created on |
Jun 02, 2008 18:08 |
Version |
1.00beta |
OS |
Linux |
Architecture |
PC |
Attachments |
error2.sac |
Extended Description
Created an attachment (id=473)
source file
really nasty bug as in rev15713.
For the given example we obtain an error message of the form:
ERROR: line 296 file: ArrayTransform.sac
ERROR: loop variable "A" is being used inconsistently; conflicting types are
ERROR: int[.] and #4424: in [ --, int[2]] le <> ge <>
which somehow stems from the UDT used.