static void test_close_or_die (SF_PRIVATE *psf, int linenum) { psf_fclose (psf) ; if (psf->filedes >= 0) { printf ("\n\nLine %d: psf->filedes should be < 0.\n\n", linenum) ; exit (1) ; } ; } /* test_close_or_die */
static void test_close_or_die (SF_PRIVATE *psf, int linenum) { psf_fclose (psf) ; if (psf_file_valid (psf)) { printf ("\n\nLine %d: psf->file.filedes should not be valid.\n\n", linenum) ; exit (1) ; } ; } /* test_close_or_die */