Line | Source | Count |
1 | | - |
2 | | - |
3 | | - |
4 | | - |
5 | | - |
6 | | - |
7 | static const char *file_name; | - |
8 | | - |
9 | | - |
10 | | - |
11 | | - |
12 | void | - |
13 | close_stdin_set_file_name (const char *file) | - |
14 | { | - |
15 | file_name = file; | - |
16 | } never executed: end of block | 0 |
17 | void | - |
18 | close_stdin (void) | - |
19 | { | - |
20 | | - |
21 | _Bool | - |
22 | fail = | - |
23 | 0 | - |
24 | ; | - |
25 | | - |
26 | | - |
27 | | - |
28 | | - |
29 | | - |
30 | if (freadahead (TRUE | evaluated 2 times by 1 test | FALSE | evaluated 2962 times by 5 tests |
| 2-2962 |
31 | stdinTRUE | evaluated 2 times by 1 test | FALSE | evaluated 2962 times by 5 tests |
| 2-2962 |
32 | ) > 0TRUE | evaluated 2 times by 1 test | FALSE | evaluated 2962 times by 5 tests |
) | 2-2962 |
33 | { | - |
34 | | - |
35 | | - |
36 | if ( | - |
37 | rpl_fseeko TRUE | evaluated 2 times by 1 test | FALSE | never evaluated |
| 0-2 |
38 | (TRUE | evaluated 2 times by 1 test | FALSE | never evaluated |
| 0-2 |
39 | stdinTRUE | evaluated 2 times by 1 test | FALSE | never evaluated |
| 0-2 |
40 | , 0, TRUE | evaluated 2 times by 1 test | FALSE | never evaluated |
| 0-2 |
41 | 1TRUE | evaluated 2 times by 1 test | FALSE | never evaluated |
| 0-2 |
42 | ) == 0TRUE | evaluated 2 times by 1 test | FALSE | never evaluated |
&& | 0-2 |
43 | rpl_fflush TRUE | never evaluated | FALSE | evaluated 2 times by 1 test |
| 0-2 |
44 | (TRUE | never evaluated | FALSE | evaluated 2 times by 1 test |
| 0-2 |
45 | stdinTRUE | never evaluated | FALSE | evaluated 2 times by 1 test |
| 0-2 |
46 | ) != 0TRUE | never evaluated | FALSE | evaluated 2 times by 1 test |
) | 0-2 |
47 | fail = never executed: fail = 1 ; | 0 |
48 | 1 never executed: fail = 1 ; | 0 |
49 | ; never executed: fail = 1 ; | 0 |
50 | }executed 2 times by 1 test: end of block | 2 |
51 | if (close_stream (TRUE | never evaluated | FALSE | evaluated 2964 times by 5 tests |
| 0-2964 |
52 | stdinTRUE | never evaluated | FALSE | evaluated 2964 times by 5 tests |
| 0-2964 |
53 | ) != 0TRUE | never evaluated | FALSE | evaluated 2964 times by 5 tests |
) | 0-2964 |
54 | fail = never executed: fail = 1 ; | 0 |
55 | 1 never executed: fail = 1 ; | 0 |
56 | ; never executed: fail = 1 ; | 0 |
57 | if (failTRUE | never evaluated | FALSE | evaluated 2964 times by 5 tests |
) | 0-2964 |
58 | { | - |
59 | | - |
60 | | - |
61 | char const *close_error = | - |
62 | dcgettext (((void *)0), | - |
63 | "error closing file" | - |
64 | , 5) | - |
65 | ; | - |
66 | if (file_nameTRUE | never evaluated | FALSE | never evaluated |
) | 0 |
67 | error (0, never executed: error (0, (*__errno_location ()) , "%s: %s", quotearg_colon (file_name), close_error); | 0 |
68 | (*__errno_location ()) never executed: error (0, (*__errno_location ()) , "%s: %s", quotearg_colon (file_name), close_error); | 0 |
69 | , "%s: %s", quotearg_colon (file_name), never executed: error (0, (*__errno_location ()) , "%s: %s", quotearg_colon (file_name), close_error); | 0 |
70 | close_error); never executed: error (0, (*__errno_location ()) , "%s: %s", quotearg_colon (file_name), close_error); | 0 |
71 | else | - |
72 | error (0, never executed: error (0, (*__errno_location ()) , "%s", close_error); | 0 |
73 | (*__errno_location ()) never executed: error (0, (*__errno_location ()) , "%s", close_error); | 0 |
74 | , "%s", close_error); never executed: error (0, (*__errno_location ()) , "%s", close_error); | 0 |
75 | } | - |
76 | | - |
77 | close_stdout (); | - |
78 | | - |
79 | if (failTRUE | never evaluated | FALSE | evaluated 2964 times by 5 tests |
) | 0-2964 |
80 | _exit (exit_failure); never executed: _exit (exit_failure); | 0 |
81 | }executed 2964 times by 5 tests: end of block | 2964 |
| | |