CF fails on _sel_VxA_( iv, [true, true, true], due to N_array element contents problem
|
|
Bugzilla Link |
887 |
Created on |
Nov 13, 2011 17:31 |
Resolution |
FIXED |
Resolved on |
Nov 16, 2011 20:08 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Extended Description
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 17702:MODIFIED linux-gnu_x86_64
(Sun Nov 13 11:20:25 EST 2011 by sac)
Cf should produce "true" for the above, but there is some
confusion (at least in my head!) about what node types can
appear legally in an N_array node.
I thought we had agreed that ALL N_array elements should
be N_id nodes, at least within -bopt, but have asked
Bodo and Clemens to confirm that.
If this is the case, then I'll make -d treecheck complain
about constants in N_array nodes. And, fix CF while I'm at it.
In the attached example, the code should eliminate the
sel() and ALL WLs from the code, but it does not do so.
Part of this is due to the fact that SelArrayOfEqualElements
has an (unrelated) bug in it, and part is due to the
fact that it is expecting N_id nodes as N_array elements.