On 12/13/18 3:59 PM, Jakub Jelinek wrote:
> Hi!
>
> The inliner doesn't want to fold statements immediately, but records them
> and then fold_marked_statements is meant to fold them when inlining is done.
>
> On the following testcase it doesn't fold some of them though.
> The problem is that it wants to scan only newly added basic blocks (i.e.
> those created during the inlining), but the way it is written only works if
> there are no gaps in the basic_block vector. If there are, it can fold
> stmts only in some of the basic blocks or none of them.
>
> Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for
> trunk?
>
> 2018-12-13 Jakub Jelinek <ja...@redhat.com>
>
> PR tree-optimization/88444
> * tree-inline.c (fold_marked_statements): Iterate up to
> last_basic_block_for_fn rather than n_basic_blocks_for_fn.
>
> * gcc.dg/tree-ssa/pr88444.c: New test.
OK
jeff
