[Bug tree-optimization/126397] New: always true condition in tree-ssa-ifcombine.cc

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 126397
           Summary: always true condition in tree-ssa-ifcombine.cc
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Keywords: internal-improvement
          Severity: enhancement
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

>From tree-ssa-ifcombine.cc (ifcombine_ifandif):
```
    if (TREE_CODE_CLASS (gimple_cond_code (inner_cond)) == tcc_comparison
           && TREE_CODE_CLASS (gimple_cond_code (outer_cond)) ==
tcc_comparison)
```

This is always true as checked by tree-cfg.cc:
```
static bool
verify_gimple_cond (gcond *stmt)
{
  if (TREE_CODE_CLASS (gimple_cond_code (stmt)) != tcc_comparison)
    {
      error ("invalid comparison code in gimple cond");
      return true;
    }
```

This looks like it was left over when tuple conversion happened in
r0-88576-g726a989a8b74bf .