22   fprintf(stderr, "RESET\n");  in main()
29 // CHECK: RESET  in main()
30 // CHECK-DAG: SanitizerCoverage: ./coverage-reset.cpp{{.*}}.sancov: 2 PCs written  in main()
31 // CHECK-DAG: SanitizerCoverage: ./libcoverage-reset.cpp{{.*}}.sancov: 2 PCs written  in main()
33   fprintf(stderr, "RESET\n");  in main()
38 // CHECK: RESET  in main()
39 // CHECK-DAG: SanitizerCoverage: ./coverage-reset.cpp{{.*}}.sancov: 1 PCs written  in main()
40 // CHECK-DAG: SanitizerCoverage: ./libcoverage-reset.cpp{{.*}}.sancov: 1 PCs written  in main()
42   fprintf(stderr, "RESET\n");  in main()
47 // CHECK: RESET  in main()
48 // CHECK: SanitizerCoverage: ./coverage-reset.cpp{{.*}}.sancov: 2 PCs written  in main()
50   fprintf(stderr, "RESET\n");  in main()
55 // CHECK: RESET  in main()
56 // CHECK: SanitizerCoverage: ./libcoverage-reset.cpp{{.*}}.sancov: 2 PCs written  in main()
58   fprintf(stderr, "RESET\n");  in main()
60 // CHECK: RESET  in main()
63 // CHECK: SanitizerCoverage: ./libcoverage-reset.cpp{{.*}}.sancov: 1 PCs written  in main()