Viewing file: file-uninit-1.c (1.18 KB) -rw-r--r-- Select action/file-type: (+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
/* Verify that we check for uninitialized values passed to functions that we have special-cased state-machine handling for. */
typedef struct FILE FILE;
FILE* fopen (const char*, const char*); int fclose (FILE*); int fseek (FILE *, long, int);
FILE * test_fopen_uninit_path (void) { const char *path; FILE *f = fopen (path, "r"); /* { dg-warning "use of uninitialized value 'path'" } */ return f; }
FILE * test_fopen_uninit_mode (const char *path) { const char *mode; FILE *f = fopen (path, mode); /* { dg-warning "use of uninitialized value 'mode'" } */ return f; }
void test_fclose_uninit (void) { FILE *f; fclose (f); /* { dg-warning "use of uninitialized value 'f'" } */ }
int test_fseek_uninit_stream (void) { FILE *stream; return fseek (stream, 0, 0); /* { dg-warning "use of uninitialized value 'stream'" } */ }
int test_fseek_uninit_offset (FILE *stream, int whence) { long offset; return fseek (stream, offset, whence); /* { dg-warning "use of uninitialized value 'offset'" } */ }
int test_fseek_uninit_whence (FILE *stream, long offset) { int whence; return fseek (stream, offset, whence); /* { dg-warning "use of uninitialized value 'whence'" } */ }
|