https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119497 --- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- I guess calling any noreturn function inside the expansion of a macro called 'assert' is probably a good enough heuristic.