Is there a memory leak in this particular program: #include #include int main(void) { printf("Hello, world\n"); if(setvbuf(stdout, NULL, _IONBF, 0) != 0) { perror("setvbuf"); return EXIT_FAILURE; } return 0; } I imagine the case that printf() provides stdout a malloc'ed buffer. I know implementations do this, but I can't find the wording in the standard that mentions this.