TUP/ETV/EBT confused by UGLF movement, after SAACYC
|
|
Bugzilla Link |
1053 |
Created on |
Mar 19, 2013 15:55 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
loopis.sac |
Extended Description
Created an attachment (id=953)
source code to reproduce fault
This commit:
commit 66a68890f5336f76140b04f1772f1b6ad4960cf5
Author: Robert Bernecky
Date: Sun Mar 17 16:49:29 2013 -0400
caused the typechecker to get turn, erroneously, an AKS variable into an AKV
one, in the apex/loopis/loopis.sac benchmark.
Since the typechecker runs quite happily otherwise, I am going to
back off that change. I do not see anything obvious in phase_sac2c.mac
that should cause this, but perhaps Bodo wants to look at it some day...
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 18077 linux-gnu_x86_64
(Tue Mar 19 11:44:17 EDT 2013 by sac)
In Loop_2(), the type of A_CTR28_ has become AKV, with a value of 0.
Which is very wrong.