https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78812
--- Comment #16 from Jeffrey A. Law <law at redhat dot com> --- ABNORMAL_CALL and EH imply ABNORMAL, at least for RTL CFG according to their documentation. I haven't gone through the trouble to see where that is enforced, but I did very that the edges had EH and ABNORMAL set in the dumps.
