I'm not sure what the consequences are for optimizing away the read as part of the FILE buffer management. That is the question that would need to be answered here before we could do something like this.
I'm not sure what the consequences are for optimizing away the read as part of the FILE buffer management. That is the question that would need to be answered here before we could do something like this.