WLF/AWLF fails to work when -ecc used on bugVP.sac
|
|
Bugzilla Link |
885 |
Created on |
Nov 06, 2011 22:01 |
Resolution |
FIXED |
Resolved on |
Nov 12, 2011 16:36 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
bugVP.sac |
Extended Description
Created an attachment (id=830)
source code to reproduce failure
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 17700:MODIFIED linux-gnu_x86_64
(Fri Nov 4 18:16:10 EDT 2011 by sac)
sac2c bugVP.sac -bopt -v1 |grep with |wc
13 128 744
sac2c bugVP.sac -bopt -v1 -ecc |grep with |wc
15 146 966
With any luck, the problem will be in CF or
one of its friends. I've assigned this to myself,
on the assumption that this is the case.