https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80444
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Tue Apr 18 15:02:06 2017 New Revision: 246971 URL: https://gcc.gnu.org/viewcvs?rev=246971&root=gcc&view=rev Log: PR sanitizer/80444 * sancov.c (sancov_pass): Use gsi_start_nondebug_after_labels_bb instead of gsi_after_labels. * gcc.dg/sancov/pr80444.c: New test. Added: trunk/gcc/testsuite/gcc.dg/sancov/pr80444.c Modified: trunk/gcc/ChangeLog trunk/gcc/sancov.c trunk/gcc/testsuite/ChangeLog