Re: [PATCH] tree-optimization: Remove dead code. [PR126669]

On Thu, Aug 6, 2026 at 3:42 PM Kael Andrew Franco <[email protected]> wrote:
>
> From 703b6ff7a44a72fdd7bb5c1f388da90fd5f9054b Mon Sep 17 00:00:00 2001
> From: Kael Andrew Alonzo Franco <[email protected]>
> Date: Thu, 6 Aug 2026 06:41:19 -0400
> Subject: [PATCH] tree-optimization: Remove dead code. [PR126669]
>
> This is dead since COND_EXPR is always a SSA_NAME or a constant.

Ok.

>
> Bootstrapped and regtested on x86_64-pc-linux-gnu.
>
> gcc/ChangeLog:
>
> * tree-ssa-strlen.cc (use_in_zero_equality): Remove dead code.
>
> Signed-off-by: Kael Andrew Franco <[email protected]>
> ---
>  gcc/tree-ssa-strlen.cc | 14 +-------------
>  1 file changed, 1 insertion(+), 13 deletions(-)
>
> diff --git a/gcc/tree-ssa-strlen.cc b/gcc/tree-ssa-strlen.cc
> index d6949441f31..8e2550f553a 100644
> --- a/gcc/tree-ssa-strlen.cc
> +++ b/gcc/tree-ssa-strlen.cc
> @@ -3995,19 +3995,7 @@ use_in_zero_equality (tree res, bool exclusive)
>        if (gimple_code (use_stmt) == GIMPLE_ASSIGN)
>   {
>    tree_code code = gimple_assign_rhs_code (use_stmt);
> -  if (code == COND_EXPR)
> -    {
> -      tree cond_expr = gimple_assign_rhs1 (use_stmt);
> -      if ((TREE_CODE (cond_expr) != EQ_EXPR
> -   && (TREE_CODE (cond_expr) != NE_EXPR))
> -  || !integer_zerop (TREE_OPERAND (cond_expr, 1)))
> - {
> -  if (exclusive)
> -    return NULL;
> -  continue;
> - }
> -    }
> -  else if (code == EQ_EXPR || code == NE_EXPR)
> +  if (code == EQ_EXPR || code == NE_EXPR)
>      {
>        if (!integer_zerop (gimple_assign_rhs2 (use_stmt)))
>   {
> --
> 2.55.0
>
>