[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 #7 from Tom de Vries <vries at gcc dot gnu.org> ---
Author: vries
Date: Wed Jun 20 14:44:45 2018
New Revision: 261804

URL: https://gcc.gnu.org/viewcvs?rev=261804&root=gcc&view=rev
Log:
Generate correctly typed compare in canonicalize_loop_ivs

2018-06-20  Tom de Vries  <tdevries@suse.de>

        PR tree-optimization/86097
        * tree-ssa-loop-manip.c (canonicalize_loop_ivs): Also convert *nit to
        iv type if signedness of iv type is not the same as that of *nit.

        * gcc.dg/autopar/pr86097.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/autopar/pr86097.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-manip.c