Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • sac2c sac2c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 400
    • Issues 400
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 12
    • Merge requests 12
  • Deployments
    • Deployments
    • Releases
  • Wiki
    • Wiki
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #2027
Closed
Open
Created Nov 13, 2011 by Robert Bernecky@rbeDeveloper

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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking