[Bug gcov-profile/85367] [GCOV] A call to the _subborrow_u64 builtin-function is wrongly marked as executed twice
marxin at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Wed Jul 25 08:44:00 GMT 2018
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85367
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |INVALID
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Using gcc 8.1.1 I see proper values:
-: 0:Source:pr85367.c
-: 0:Graph:pr85367.gcno
-: 0:Data:pr85367.gcda
-: 0:Runs:1
-: 0:Programs:1
-: 1:#include <x86intrin.h>
-: 2:
1: 3:int main ()
-: 4:{
-: 5: unsigned char c;
-: 6: unsigned long long x, y;
-: 7:
1: 8: c = 0;
1: 9: x = 1LL;
1: 10: y = 0LL;
-: 11:
-: 12: /* X = 0x0000000000000001, Y = 0x0000000000000000, C = 0. */
1: 13: c = _subborrow_u64 (c, y, x, &x); // executed 2x
-: 14:
1: 15: return 0;
-: 16:}
More information about the Gcc-bugs
mailing list