public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "njuwy at smail dot nju.edu.cn" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug gcov-profile/99444] New: [GCOV] Wrong coverage with "case" label in "switch" statement block Date: Sun, 07 Mar 2021 08:42:58 +0000 [thread overview] Message-ID: <bug-99444-4@http.gcc.gnu.org/bugzilla/> (raw) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99444 Bug ID: 99444 Summary: [GCOV] Wrong coverage with "case" label in "switch" statement block Product: gcc Version: 10.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: gcov-profile Assignee: unassigned at gcc dot gnu.org Reporter: njuwy at smail dot nju.edu.cn CC: marxin at gcc dot gnu.org Target Milestone: --- $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../configure -enable-checking=release -enable-languages=c,c++ -disable-multilib Thread model: posix Supported LTO compression algorithms: zlib gcc version 10.2.0 (GCC) $ cat test.c int doit(int sel, int n, void *p) { int *const p0 = p; switch (sel) { case 0: do { *p0 += *p0; } while (--n); return *p0 == 0; default: __builtin_abort(); } } int main() { int v0; v0 = 1; doit(0, 3, &v0); __builtin_exit(0); } $ gcc -O0 --coverage test.c;./a.out;gcov test;cat test.c.gcov File 'test.c' Lines executed:84.62% of 13 Creating 'test.c.gcov' -: 0:Source:test.c -: 0:Graph:test.gcno -: 0:Data:test.gcda -: 0:Runs:1 1: 1:int doit(int sel, int n, void *p) { 1: 2: int *const p0 = p; -: 3: 1: 4: switch (sel) { 3: 5: case 0: -: 6: do { 3: 7: *p0 += *p0; 3: 8: } while (--n); 1: 9: return *p0 == 0; #####: 10: default: #####: 11: __builtin_abort(); -: 12: } -: 13:} -: 14: 1: 15:int main() { -: 16: int v0; 1: 17: v0 = 1; 1: 18: doit(0, 3, &v0); 1: 19: __builtin_exit(0); -: 20:} -: 21: Line #5 should only be executed once.
next reply other threads:[~2021-03-07 8:42 UTC|newest] Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-03-07 8:42 njuwy at smail dot nju.edu.cn [this message] 2021-03-08 9:09 ` [Bug gcov-profile/99444] " marxin at gcc dot gnu.org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-99444-4@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).