47   FILE *source_file;  in CeedCheckFilePath()  local
48   source_file = fopen(source_file_path_only, "rb");  in CeedCheckFilePath()
49   *is_valid   = source_file;  in CeedCheckFilePath()
55     fclose(source_file);  in CeedCheckFilePath()
125   FILE *source_file;  in CeedLoadSourceToInitializedBuffer()  local
135   source_file = fopen(source_file_path, "rb");  in CeedLoadSourceToInitializedBuffer()
136   CeedCheck(source_file, ceed, CEED_ERROR_MAJOR, "Couldn't open source file: %s", source_file_path);  in CeedLoadSourceToInitializedBuffer()
138   fseek(source_file, 0L, SEEK_END);  in CeedLoadSourceToInitializedBuffer()
139   file_size = ftell(source_file);  in CeedLoadSourceToInitializedBuffer()
140   fseek(source_file, 0L, SEEK_SET);  in CeedLoadSourceToInitializedBuffer()
146     if (ierr != CEED_ERROR_SUCCESS) fclose(source_file);  in CeedLoadSourceToInitializedBuffer()
150   if (1 != fread(temp_buffer, file_size, 1, source_file)) {  in CeedLoadSourceToInitializedBuffer()
152     fclose(source_file);  in CeedLoadSourceToInitializedBuffer()
157   fclose(source_file);  in CeedLoadSourceToInitializedBuffer()