[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]

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:}