https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86411
Bug ID: 86411
Summary: Some lines are considered as uncoverable when using
__gcov_flush
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: gcov-profile
Assignee: unassigned at gcc dot gnu.org
Reporter: mcastelluccio at mozilla dot com
CC: marxin at gcc dot gnu.org
Target Milestone: ---
-: 0:Source:main.c
-: 0:Graph:main.gcno
-: 0:Data:main.gcda
-: 0:Runs:1
-: 0:Programs:1
-: 1:extern void __gcov_flush(void);
-: 2:
1: 3:void f(int c) {}
-: 4:
1: 5:int main(int argc, char *argv[]) {
1: 6: f(1);
-: 7:
1: 8: __gcov_flush();
-: 9:
#####: 10: f(2);
-: 11:
#####: 12: _exit(0);
-: 13:
-: 14: f(3);
-: 15:
-: 16: return 0;
-: 17:}
-: 18:
