Comportamiento extremadamente extraño en fread(); lee toda la cadena al imprimirla pero indica que no alcanzó EOF, y alcanza EOF cuando en realidad no lo hizo.

Estoy experimentando un comportamiento extraño en la siguiente función:

char* read_file(const char* filename) {
  FILE* file = fopen(filename, "rb"); // revisar errores

fseek(file, 0L, SEEK_END); // revisar también este error
  unsigned int size = ftell(file); // revisar errores

rewind(file);

// Sé que un char es un byte único, pero solo por legibilidad:

char* buffer = malloc(sizeof(char) * size + 1); // revisar errores

unsigned int result = fread(buffer, sizeof(char), size, file); // revisar más errores

fclose(file);
// puts(buffer); // ver el resto de la pregunta, esta es la línea 16
return buffer;
}

Si la línea 16 permanece comentada, obtengo un comportamiento indefinido en mi programa, es decir, la cadena devuelta no es lo que esperaba, es decir, se produjo un error. Y con las verificaciones de error que omití en la pregunta, obtengo que result es igual a size, por lo que fread leyó el archivo correctamente. Ahora, si descomento la línea 16 e imprimo el resultado, todo funciona y no se produce un comportamiento indefinido. ¿Por qué podría estar sucediendo esto?