GCC Code Coverage Report


Directory: common/src/
Coverage: low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
Coverage Exec / Excl / Total
Lines: 100.0% 6 / 0 / 6
Functions: 100.0% 1 / 0 / 1
Branches: 100.0% 8 / 0 / 8

fxe_file_close.c
Line Branch Exec Source
1 /***************************************************************************
2 * Copyright (c) 2024 Microsoft Corporation
3 * Copyright (c) 2026-present Eclipse ThreadX contributors
4 *
5 * This program and the accompanying materials are made available under the
6 * terms of the MIT License which is available at
7 * https://opensource.org/licenses/MIT.
8 *
9 * SPDX-License-Identifier: MIT
10 **************************************************************************/
11
12
13 /**************************************************************************/
14 /**************************************************************************/
15 /** */
16 /** FileX Component */
17 /** */
18 /** File */
19 /** */
20 /**************************************************************************/
21 /**************************************************************************/
22
23 #define FX_SOURCE_CODE
24
25
26 /* Include necessary system files. */
27
28 #include "fx_api.h"
29 #include "fx_file.h"
30
31 FX_CALLER_CHECKING_EXTERNS
32
33
34 /**************************************************************************/
35 /* */
36 /* FUNCTION RELEASE */
37 /* */
38 /* _fxe_file_close PORTABLE C */
39 /* 6.1 */
40 /* AUTHOR */
41 /* */
42 /* William E. Lamie, Microsoft Corporation */
43 /* */
44 /* DESCRIPTION */
45 /* */
46 /* This function checks for errors in the close file call. */
47 /* */
48 /* INPUT */
49 /* */
50 /* file_ptr File control block pointer */
51 /* */
52 /* OUTPUT */
53 /* */
54 /* return status */
55 /* */
56 /* CALLS */
57 /* */
58 /* _fx_file_close Actual file close service */
59 /* */
60 /* CALLED BY */
61 /* */
62 /* Application Code */
63 /* */
64 /**************************************************************************/
65 6857991 UINT _fxe_file_close(FX_FILE *file_ptr)
66 {
67
68 UINT status;
69
70
71 /* Check for a null file pointer. */
72
2/2
✓ Branch 2 → 3 taken 8 times.
✓ Branch 2 → 4 taken 6857983 times.
6857991 if (file_ptr == FX_NULL)
73 {
74 8 return(FX_PTR_ERROR);
75 }
76
77 /* Check for a valid caller. */
78
6/6
✓ Branch 4 → 5 taken 6830147 times.
✓ Branch 4 → 7 taken 690 times.
✓ Branch 5 → 6 taken 6829457 times.
✓ Branch 5 → 7 taken 690 times.
✓ Branch 6 → 7 taken 690 times.
✓ Branch 6 → 8 taken 6828767 times.
6830837 FX_CALLER_CHECKING_CODE
79
80 /* Call actual file close service. */
81 6855913 status = _fx_file_close(file_ptr);
82
83 /* Return status to the caller. */
84 6855911 return(status);
85 }
86
87