...
This noncompliant code example appends data to a file and then reads from the same file.
| Code Block | ||||
|---|---|---|---|---|
| ||||
char data[BUFFERSIZE];
char append_data[BUFFERSIZE];
char *file_name;
FILE *file;
/* Initialize file_name */
file = fopen(file_name, "a+");
if (file == NULL) {
/* Handle error */
}
/* initialize append_data */
if (fwrite(append_data, BUFFERSIZE, 1, file) != BUFFERSIZE) {
/* Handle error */
}
if (fread(data, BUFFERSIZE, 1, file) != 0) {
/* Handle there not being data */
}
fclose(file);
|
...
In this compliant solution, fseek() is called in between the output and input, eliminating the undefined behavior.
| Code Block | ||||
|---|---|---|---|---|
| ||||
char data[BUFFERSIZE];
char append_data[BUFFERSIZE];
char *file_name;
FILE *file;
/* initialize file_name */
file = fopen(file_name, "a+");
if (file == NULL) {
/* Handle error */
}
/* Initialize append_data */
if (fwrite(append_data, BUFFERSIZE, 1, file) != BUFFERSIZE) {
/* Handle error */
}
if (fseek(file, 0L, SEEK_SET) != 0) {
/* Handle error */
}
if (fread(data, BUFFERSIZE, 1, file) != 0) {
/* Handle there not being data */
}
fclose(file);
|
...