Possible issue with awk

[Bernhard Reutner-Fischer]

On Tue, Mar 09, 2010 at 11:27:59AM +0000, Vincent Sanders wrote:
>Hi, background to this is we were building a GCC and had forgotton to
>install gawk. Our default awk was being provided by busybox
>awk. 
>
>Busybox version 1.15.3 stable branch, it also exhibits in 1.10.2 and
>appears the same in 1.16.0 however I had issues building a directly
>comparable configuration so this might be an option setting problem.
>
>Now I am no awk expert so forgive me if the busybox implementation is
>doing the right thing for its stated POSIX compliance.
>
>The GCC build system may just be assuming gawk features however it
>does claim to only need a POSIX awk. As I say I am no expert which is
>why I am asking on list rather than submitting a bug straight off.
>
>OK attached to this mail are four files:
>
>input-to-awk.txt - this is the input to the awk script extracted from
>                   the guts of the GCC stage 1 build process (took some 
>		   getting I can tell you)

Simpler input:
cat >inp<<EOB
out.o:
00000001 T one
00000002 T two

%%

FOO_1.0 {
  one
}

%inherit FOO_1.1 FOO_1.0
FOO_1.1 {
# not emitted
}

FOO_2.0 {
  two
}
EOB

FOO_2.0 should be printed but it's not.

>Please can someone help with this.
>
>Is this a simple gawk/awk POSIX implementation difference? In which
>case I can simply ask the GCC docs be altered to require gawk.
>
>Is this an issue with the awk script which might be fixed? I am sorry
>my awk is insuficiently strong to see the issue.
>
>Is this actually a busybox bug?