https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83396
--- Comment #20 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 42861 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42861&action=edit gcc8-pr83396-verify.patch For the label verification I meant something like this (untested except that without your candidate patch it fails on the PR83391 testcase), if that is how we want to define the IL (the tree-cfg.c verify_* routines define what is and what is not valid GIMPLE). As for -fcompare-debug FAILure, if you go to sleep, could you share details on what fails, preferrably with preprocessed source + options? The bootstrap failures on so many targets need to be resolved very soon.
