// CHECK:        -:    0:Source:{{.*}}Inputs{{[/\\]}}instrprof-gcov-__gcov_flush-terminate.c
// CHECK-NEXT:        -:    0:Graph:instrprof-gcov-__gcov_flush-terminate.gcno
// CHECK-NEXT:        -:    0:Data:instrprof-gcov-__gcov_flush-terminate.gcda
// CHECK-NEXT:        -:    0:Runs:1
// CHECK-NEXT:        -:    0:Programs:1
// CHECK-NEXT:        -:    1:int main(void) {
// CHECK-NEXT:        1:    2:  int i = 22;
// CHECK-NEXT:        -:    3:
// CHECK-NEXT:        1:    4:  __gcov_flush();
// CHECK-NEXT:        -:    5:
// CHECK-NEXT:    #####:    6:  i = 42;
// CHECK-NEXT:        -:    7:
// CHECK-NEXT:    #####:    8:  asm("int $3");
// CHECK-NEXT:        -:    9:
// CHECK-NEXT:    #####:   10:  i = 84;
// CHECK-NEXT:        -:   11:
// CHECK-NEXT:    #####:   12:  return 0;
// CHECK-NEXT:        -:   13:}