[Bug gcov-profile/90053] [GCOV] A statement in while loop is wrongly marked as not executed when they are within the if(setjmp()) statement

[yangyibiao at nju dot edu.cn]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90053

--- Comment #2 from Yibiao Yang <yangyibiao at nju dot edu.cn> ---
(In reply to Richard Biener from comment #1)
> I think you need to use setjmp/longjmp, not the __builtin variants which have
> special semantics.

Thanks for the suggestion. This is a reduced version of the test program in the
gcc testsuite: gcc-7.4.0/gcc/testsuite/gcc.dg/setjmp-2.c