[Bug gcov-profile/95994] New: Line containing "do" reported as "not run"

[rguenth at gcc dot gnu.org]

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

            Bug ID: 95994
           Summary: Line containing "do" reported as "not run"
           Product: gcc
           Version: 10.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: gcov-profile
          Assignee: unassigned at gcc dot gnu.org
          Reporter: loximann at gmail dot com
                CC: marxin at gcc dot gnu.org
  Target Milestone: ---

The first do is marked as "#####", the second one is correctly marked as "-".

        -:    0:Source:coverage_test_2.cpp
        -:    0:Graph:coverage_test_2.gcno
        -:    0:Data:coverage_test_2.gcda
        -:    0:Runs:1
        1:    1:int main()
        -:    2:{
        1:    3:    int i =0;
    #####:    4:    do
        -:    5:    {
        1:    6:        ++i;
        1:    7:    } while(i<1);
        -:    8:    do
        -:    9:    {
        -:   10:    } while(false);
        1:   11:}

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 95995 has been marked as a duplicate of this bug. ***