https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83064
--- Comment #24 from Richard Biener <rguenth at gcc dot gnu.org> --- The correctness issue is in the autopar pass. Previously the ->can_be_parallel flag was only set by GRAPHITE code which of course did dependence analysis. I don't see an easy way to fix up things in autopar so indeed the best course of action is to revert the FE change that sets annot_expr_parallel_kind on the loop and revisit this for GCC 9 along pending work on autopar.
