[Bug ada/65519] [5 regression] unable to coalesce ssa_names 2 and 87 which are marked as MUST COALESCE

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65519

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org

--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> I don't think that gimple_build can fail, so maybe the way out is to test
>   stmt_references_abnormal_ssa_name (SSA_NAME_DEF_STMT (ops[x]))
> instead of just
>   SSA_NAME_OCCURS_IN_ABNORMAL_PHI (ops [x]))
> in replace_stmt_with_simplification.

Richard, does gimple-fold.c only fold the outermost expression like
fold-const.c or does it work recursively?  In the former case, the above change
would be OK but, in the latter case, some changes in genmatch.c itself might be
needed.