Re: bison-1.875: build feedback

[Paul Eggert]

> Date: Fri, 3 Jan 2003 16:24:12 -0700 (MST)
> From: "Nelson H. F. Beebe" <address@hidden>

> That only talks about names remaining as external names.

Yes, that's the rule that I was talking about.  A strictly conforming
Standard C program cannot define "abort" as an identifier with
external linkage.

> This simple test file
> raised no errors on any of several C and C++ compilers that I tried.

The rule that you quoted is not a constraint, so a conforming
implementation is not required to issue a diagnostic if you violate
the rule, and "gcc -ansi -pedantic" is therefore within its rights to
be silent.  However, the rule is nevertheless binding on strictly
conforming programs.

It's a bit like a subscript violation.  A strictly conforming program
cannot compute A[10] if A has only 5 elements, but a conforming
implementation is not required to diagnose any attempt to compute A[10].