[Bug tree-optimization/86097] [8/9 Regression] ICE: verify_gimple failed (error: mismatching comparison operand types)

[vries at gcc dot gnu.org]

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

--- Comment #2 from Tom de Vries <vries at gcc dot gnu.org> ---
Earliest point of detection:
...
@@ -1570,6 +1570,7 @@ canonicalize_loop_ivs (struct loop *loop, tree *nit, bool
bump_in_latch)
       fe->flags = EDGE_TRUE_VALUE;
     }
   gimple_cond_set_code (stmt, LT_EXPR);
+  gcc_assert (TREE_TYPE (var_before) == TREE_TYPE (*nit));
   gimple_cond_set_lhs (stmt, var_before);
   gimple_cond_set_rhs (stmt, *nit);
   update_stmt (stmt);
...