On May 10, 2016 3:07:12 PM GMT+02:00, Richard Biener <rguent...@suse.de> wrote: > >The following fixes PR71039 - we were failing to verify we can >insert the lhs on the predecessor edges. > >Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
>+ /* Verify if *idx is available at *DATA. */ >+ >+ static bool >+ chk_uses (tree t, tree *idx, void *data) >+ { >+ basic_block dom = (basic_block) data; >+ if (TREE_CODE (*idx) == SSA_NAME) >+ return (SSA_NAME_IS_DEFAULT_DEF (*idx) >+ || ! dominated_by_p (CDI_DOMINATORS, >+ gimple_bb (SSA_NAME_DEF_STMT (*idx)), dom)); >+ return true; >+ } Shouldn't this warn about unused t? Thanks,