On Sat, Jul 25, 2026 at 6:40 PM Kael Andrew Franco
<[email protected]> wrote:
>
> From 0ee1af0b322028f0133e9d6017fdc1afb6c7db13 Mon Sep 17 00:00:00 2001
> From: Kael Andrew Alonzo Franco <[email protected]>
> Date: Sat, 25 Jul 2026 09:31:33 -0400
> Subject: [PATCH] tree-optimization: Remove true condition in
> tree-ssa-ifcombine.cc. [PR126397]
>
> This condition is always true as checked by verify_gimple_cond in tree-cfg.cc.
>
> Bootstrapped and regtested on x86_64-pc-linux-gnu.
>
> PR tree-optimization/126397
>
> gcc/ChangeLog:
>
> * tree-ssa-ifcombine.cc (ifcombine_ifandif): Remove
> true condition in tree-ssa-ifcombine.cc.
>
> Signed-off-by: Kael Andrew Franco <[email protected]>
> ---
> gcc/tree-ssa-ifcombine.cc | 2 --
> 1 file changed, 2 deletions(-)
>
> diff --git a/gcc/tree-ssa-ifcombine.cc b/gcc/tree-ssa-ifcombine.cc
> index 829baa66416..b8566d70403 100644
> --- a/gcc/tree-ssa-ifcombine.cc
> +++ b/gcc/tree-ssa-ifcombine.cc
> @@ -1077,8 +1077,6 @@ ifcombine_ifandif (basic_block inner_cond_bb, bool
> inner_inv,
>
> /* See if we have two comparisons that we can merge into one. */
> else bits_test_failed:
> - if (TREE_CODE_CLASS (gimple_cond_code (inner_cond)) == tcc_comparison
> - && TREE_CODE_CLASS (gimple_cond_code (outer_cond)) == tcc_comparison)
> {
Can you move the label `bits_test_failed:` to after the opening `{`?
Otherwise this is ok.
> tree t, ts = NULL_TREE;
> enum tree_code inner_cond_code = gimple_cond_code (inner_cond);
> --
> 2.55.0
>
>
