[Bug default/25395] New: Subpassing doesn't work when the top node is folded out

[jose.marchesi at oracle dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=25395

            Bug ID: 25395
           Summary: Subpassing doesn't work when the top node is folded
                    out
           Product: poke
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: default
          Assignee: unassigned at sourceware dot org
          Reporter: jose.marchesi at oracle dot com
                CC: poke-devel at nongnu dot org
  Target Milestone: ---

The pkl_typify1_pr_loop_stmt handler does PKL_PASS_SUBPASS in two
children nodes of the loop AST node.  Since the pass that contains
typify1 performs constant-folding, if the condition expression is
folded out then the pass doesn't substitute it and bad things happen.

A solution for this would be to modify PKL_PASS_SUBPASS to update the
sub-passed node whenever necessary.  This would require for the
argument of the macro to be an l-value, but that is already the case
in all the usages of PKL_PASS_SUBPASS (this change in semantics would
need to be documented in pkl-pass.h of course.)

This problem can be reproduced using:

while (+0) {}

-- 
You are receiving this mail because:
You are on the CC list for the bug.