[Bug tree-optimization/120677] [15/16 regression] ICE on valid code at -O{2,3} on x86_64-linux-gnu: verify_flow_info failed since r15-5850

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

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The problem is obvious:
gimple_stmt_iterator si = gsi_start_bb (output_crc->bb);
gsi_insert_before (&si, call, GSI_SAME_STMT);


This will insert before labels.
I am not in front of computer to recommend the correct sequence though to
insert at the beginning of the bb but after labels.