fixincl problem

[Fergus Henderson]

On 21-Jan-2001, Mark Kettenis <kettenis@wins.uva.nl> wrote:
> The fixincl program does the equivalent of (in main()):
> 
>   /* In load_file_data().  */
>   fclose (stdin);
> 
>   freopen ("/dev/null", "r", stdin);
> 
> Which results in a segmentation fault on the Hurd.
> 
> It looks as if this code isn't strictly portable.  The current POSIX
> draft says in its description of fclose(FILE *stream):
> 
>    After the call to fclose() any use of STREAM results in undefined
>    behaviour.

The current ISO C standard implies the same:

 | 	The  value  of  a  pointer  to  a  FILE  object   is
 | 	indeterminate after the associated file is closed (including
 | 	the standard text streams).

-- 
Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: < http://www.cs.mu.oz.au/~fjh >  |     -- the last words of T. S. Garp.