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/99441] [GCOV] Wrong coverage with complex "if" condition
Date: Sun, 07 Mar 2021 13:03:49 +0000 [thread overview]
Message-ID: <bug-99441-4-Vo9Ub7h1Ho@http.gcc.gnu.org/bugzilla/> (raw)
In-Reply-To: <bug-99441-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99441
--- Comment #2 from Yang Wang <njuwy at smail dot nju.edu.cn> ---
(In reply to Andrew Pinski from comment #1)
> So line 27 has a short cutting conditional included, so technically it is
> executed 30 times, one for each side of the &&.
$ gcc -O0 --coverage test.c;./a.out;gcov test;cat test.c.gcov
libgcov profiling error:/home/wangyang/coverage/found
bug/gcc/test.gcda:overwriting an existing profile data with a different
timestamp
File 'test.c'
Lines executed:95.83% of 24
Creating 'test.c.gcov'
-: 0:Source:test.c
-: 0:Graph:test.gcno
-: 0:Data:test.gcda
-: 0:Runs:1
-: 1:typedef __SIZE_TYPE__ size_t;
-: 2:typedef __UINTPTR_TYPE__ uintptr_t;
-: 3:
-: 4:struct S {
-: 5: int a;
-: 6: unsigned short b;
-: 7: int c, d, e;
-: 8: long f, g, h;
-: 9: int i, j;
-: 10:};
-: 11:static struct S *k;
-: 12:static size_t l = 1;
-: 13:int m;
-: 14:
15: 15:static int bar(void) {
-: 16: unsigned i;
-: 17: int j;
15: 18: if (k[0].c == 0) {
15: 19: ++m;
15: 20: size_t n = l * 2;
-: 21: struct S *o;
15: 22: k = (struct S *)__builtin_realloc(k, sizeof(struct S) * n);
30: 23: for (i = l; i < n; i++) {
15: 24: void *p = (void *)&k[i];
15: 25: int q = 0;
15: 26: size_t r = sizeof(struct S);
15: 27: if ((((uintptr_t)p) % __alignof__(long)) == 0
15: 28: &&
30: 29: r % sizeof(long) == 0) {
15: 30: long __attribute__((may_alias)) *s = (long *)p;
15: 31: long *t = (long *)((char *)s + r);
120: 32: while (s < t)
105: 33: *s++ = 0;
-: 34: } else
#####: 35: __builtin_memset(p, q, r);
-: 36: }
-: 37: }
15: 38: return 1;
-: 39:}
-: 40:
1: 41:int main() {
1: 42: k = (struct S *)__builtin_malloc(sizeof(struct S));
1: 43: __builtin_memset(k, '\0', sizeof(struct S));
1: 44: k->a = -1;
16: 45: for (int i = 0; i < 15; ++i)
15: 46: bar();
-: 47:}
Thanks for your reply!
I tried to separate line 27 and put it in a different lines. The coverage of
right side(line 29) is 30, and the left side(line 27) is 15, which is a bit
different from the execution logic about "&&", where the left side of "&&"
should not be less than the right side. Is it a bug?
next prev parent reply other threads:[~2021-03-07 13:03 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-07 8:27 [Bug gcov-profile/99441] New: " njuwy at smail dot nju.edu.cn
2021-03-07 9:14 ` [Bug gcov-profile/99441] " pinskia at gcc dot gnu.org
2021-03-07 13:03 ` njuwy at smail dot nju.edu.cn [this message]
2021-03-08 9:10 ` 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-99441-4-Vo9Ub7h1Ho@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: link
Be 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).