In article <20060827052547.A35D0211CA@cvs.netbsd.org>,
Izumi Tsutsui  <tsutsui@netbsd.org> wrote:
>
>Module Name:	src
>Committed By:	tsutsui
>Date:		Sun Aug 27 05:25:47 UTC 2006
>
>Modified Files:
>	src/sys/arch/newsmips/newsmips: news3400.c
>
>Log Message:
>Make badaddr_flag volatile to avoid unintended optimization by gcc4.
>Now GENERIC compiled by gcc4 works on NWS-3470D.
>
>XXX: Is this gcc4 optimization bug, or volitile is required in this case?

It is not a gcc bug. You need volatile, since gcc cannot intuit that the
pointer deref will end up changing its value.

christos