https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
--- Comment #6 from Renlin Li <renlin.li at arm dot com> --- emit_case_nodes calls conditional_probability with a very large first argument. After GCOV_COMPUTE_SCALE calculation, the result overflows into a negative number. It's recorded into the cmp_and_jump rtx as a note which is later read and trigger the assertion.