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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information