OpenCoverage

xprintf.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/coreutils/src/gnulib/lib/xprintf.c
Switch to Source codePreprocessed file
LineSourceCount
1-
2-
3-
4-
5-
6-
7-
8-
9int-
10xprintf (char const *__restrict format, ...)-
11{-
12 va_list args;-
13 int retval;-
14 -
15 __builtin_va_start(-
16 args-
17 ,-
18 format-
19 )-
20 ;-
21 retval = xvprintf (format, args);-
22 -
23 __builtin_va_end(-
24 args-
25 )-
26 ;-
27-
28 return
executed 20688 times by 2 tests: return retval;
Executed by:
  • od
  • printf
 retval;
executed 20688 times by 2 tests: return retval;
Executed by:
  • od
  • printf
20688
29}-
30-
31-
32-
33int-
34xvprintf (char const *__restrict format, va_list args)-
35{-
36 int retval = vprintf (format, args);-
37 if (retval < 0
retval < 0Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • printf
FALSEevaluated 20688 times by 2 tests
Evaluated by:
  • od
  • printf
 && ! ferror (
! ferror ( stdout )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • printf
FALSEnever evaluated
0-20688
38 stdout
! ferror ( stdout )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • printf
FALSEnever evaluated
0-1
39 )
! ferror ( stdout )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • printf
FALSEnever evaluated
)		0-1
40 error (exit_failure,
executed 1 time by 1 test: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
Executed by:
  • printf
1
41 (*__errno_location ())
executed 1 time by 1 test: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
Executed by:
  • printf
1
42 ,
executed 1 time by 1 test: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
Executed by:
  • printf
1
43 dcgettext (((void *)0),
executed 1 time by 1 test: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
Executed by:
  • printf
1
44 "cannot perform formatted output"
executed 1 time by 1 test: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
Executed by:
  • printf
1
45 , 5)
executed 1 time by 1 test: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
Executed by:
  • printf
1
46 );
executed 1 time by 1 test: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
Executed by:
  • printf
1
47-
48 return
executed 20688 times by 2 tests: return retval;
Executed by:
  • od
  • printf
 retval;
executed 20688 times by 2 tests: return retval;
Executed by:
  • od
  • printf
20688
49}-
50-
51-
52-
53int-
54xfprintf (FILE *__restrict stream, char const *__restrict format, ...)-
55{-
56 va_list args;-
57 int retval;-
58 -
59 __builtin_va_start(-
60 args-
61 ,-
62 format-
63 )-
64 ;-
65 retval = xvfprintf (stream, format, args);-
66 -
67 __builtin_va_end(-
68 args-
69 )-
70 ;-
71-
72 return
never executed: return retval;
 retval;
never executed: return retval;
0
73}-
74-
75-
76-
77int-
78xvfprintf (FILE *__restrict stream, char const *__restrict format, va_list args)-
79{-
80 int retval = vfprintf (stream, format, args);-
81 if (retval < 0
retval < 0Description
TRUEnever evaluated
FALSEnever evaluated
 && ! ferror (stream)
! ferror (stream)Description
TRUEnever evaluated
FALSEnever evaluated
)		0
82 error (exit_failure,
never executed: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
0
83 (*__errno_location ())
never executed: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
0
84 ,
never executed: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
0
85 dcgettext (((void *)0),
never executed: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
0
86 "cannot perform formatted output"
never executed: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
0
87 , 5)
never executed: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
0
88 );
never executed: error (exit_failure, (*__errno_location ()) , dcgettext (((void *)0), "cannot perform formatted output" , 5) );
0
89-
90 return
never executed: return retval;
 retval;
never executed: return retval;
0
91}-
Switch to Source codePreprocessed file
Generated by Squish Coco 4.1.2