[Bug gcov-profile/86411] New: Some lines are considered as uncoverable when using __gcov_flush

["mcastelluccio at mozilla dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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: