[Bug gcov-profile/106090] New: [GCOV] Wrong coverage for loop statements

[njuwy at smail dot nju.edu.cn]

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

            Bug ID: 106090
           Summary: [GCOV] Wrong coverage for loop statements
           Product: gcc
           Version: 10.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: gcov-profile
          Assignee: unassigned at gcc dot gnu.org
          Reporter: njuwy at smail dot nju.edu.cn
                CC: marxin at gcc dot gnu.org
  Target Milestone: ---

-:    0:Source:test.c
        -:    0:Graph:test.gcno
        -:    0:Data:test.gcda
        -:    0:Runs:1
        -:    1:volatile int cnt = 0;
        -:    2:
        -:    3:__attribute__((noinline, noclone)) static int
        5:    4:last (void)
        -:    5:{
        5:    6:  return ++cnt % 5 == 0;
        -:    7:}
        -:    8:
        -:    9:__attribute__((noinline, noclone)) static void
        6:   10:do_it (void)
        -:   11:{
        6:   12:  asm volatile ("" : : "r" (&cnt) : "memory");
        6:   13:}
        -:   14:
        1:   15:static void f1 (void)
        -:   16:{
        1:   17:  do_it();
        4:   18:  for (;; do_it())
        -:   19:    {
        5:   20:      if (last ())
        1:   21:        break;
        -:   22:    }
        1:   23:  do_it ();
        1:   24:}
        -:   25:
        -:   26:int
        1:   27:main ()
        -:   28:{
        1:   29:  f1 ();
        -:   30:}
Should the coverage of line 18 be 5?