[Bug gcov-profile/90091] [GCOV] code formatting lead to incorrect code coverage for "if ( expr1 || expr2) " statement

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2019-04-15
     Ever confirmed|0                           |1
           Severity|normal                      |enhancement

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, it's a real limitation where '||' is on a different line than
f2(a)!=0x00ABCDEFL.

following works:

        1:    1:long f1(long a){return a&0xff000000L;}
        1:    2:long f2(long a){return a&~0xff000000L;}
        -:    3:
        1:    4:void main ()
        -:    5:{
        1:    6:  long a = 0x89ABCDEF;
        -:    7:
        1:    8:  if (f1(a)!=0x89000000L
        1:    9:      || f2(a)!=0x00ABCDEFL)
    #####:   10:    abort();
        1:   11:  exit(0);
        -:   12:}