[Bug c/12003] FILE* variable initialized to stderr (not constant error)

["jsm at polyomino dot org dot uk" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12003



------- Additional Comments From jsm at polyomino dot org dot uk  2003-08-21 12:46 -------
Subject: Re:  FILE* variable initialized to stderr (not constant
 error)

On Thu, 21 Aug 2003, pinskia at gcc dot gnu dot org wrote:

> Note stderr is defined by the libc, not by GCC so that is why it worked
> in Solaris and not in FreeBSD but also the c standard allows
> stderr/stdout/stdin to be non-constant values so this is a non-bug.

It is also explicitly listed as a non-bug in the bug reporting
instructions, under "Cannot initialize a static variable with stdin.".  
Perhaps mentioning stdout and stderr there as well would make bug
submitters more likely to see that this non-bug is what they're
encountering?  (And indicating that FreeBSD now has this property as well,
not just GNU libc.)