https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96000
Bug ID: 96000
Summary: Line containing "do" reported as "not run"
Product: gcc
Version: 10.1.1
Status: RESOLVED
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: ---
Status: RESOLVED
Resolution: DUPLICATE
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> ---
.
*** This bug has been marked as a duplicate of bug 95994 ***
