BTW I just verified that WinAVR-20070525 (which I think is the most recent
WinAVR release that is based on 4.1.2) generates the same output as the
version I'm running on Linux, for the C code I sent earlier. That is,
correct code at -O0 and -O1, incorrect code at -Os, -O2, and -O3.