[llvm-bugs] [Bug 48263] New: llvm-cov: wrong code coverage when a label is in for loop

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=48263

            Bug ID: 48263
           Summary: llvm-cov: wrong code coverage when a label is in for
                    loop
           Product: Runtime Libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: libprofile library
          Assignee: unassignedbugs at nondot.org
          Reporter: yangyibiao at hust.edu.cn
                CC: llvm-bugs at lists.llvm.org

$ cat test.c
void foo()
{
  int a = 0;
  if (a < 0)
    goto L1;
  for (int c = 0; c < 3; c++)
  L1:
    a = a + 1;

  printf("%d\n", a);
}

int main() { foo(); }


$ clang -O0 -w -fcoverage-mapping -fprofile-instr-generate=test.profraw test.c;
./a.out; llvm-profdata merge test.profraw -o test.profdata; llvm-cov show a.out
-instr-profile=test.profdata test.c > test.c.lcov; cat test.c.lcov
3
    1|       |void foo()
    2|      1|{
    3|      1|  int a = 0;
    4|      1|  if (a < 0)
    5|      0|    goto L1;
    6|      4|  for (int c = 0; c < 3; c++)
    7|      6|  L1:
    8|      6|    a = a + 1;
    9|      1|  
   10|      1|  printf("%d\n", a);
   11|      1|}
   12|       |
   13|      1|int main() { foo(); }


#################
Line #6 is wrongly marked as executed 6 times. Actually, it only executed three
times since the finally value of 'a' is 3. 

When debug this program in lldb, line 6 is only hit 3 times.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20201123/9acc42f3/attachment.html>