[Bug gcov-profile/121063] [GCOV] dead "return;" was marked as executed.

[njuwy at smail dot nju.edu.cn via Gcc-bugs]

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

--- Comment #1 from Anonymous <njuwy at smail dot nju.edu.cn> ---
option:

gcc --coverage -std=c2x