Das U-Boot - Universal Bootloader

I've been working with u-boot 1.1.3 and binutils gcc-3.4.4
(and also previous versions of both) and it works
perfectly.
I've not managed to make it working with gcc-4.0.0 nor
gcc-4.0.1.

I'm working with a lite5200 (also called icecube). It
has an mpc5200 (powerpc).

Initialially I had some compilation errors that I've
managed to solved.

I've developed several patches to solve the compilation
errors for gcc-4. They are all related to deprecated
gcc extensions for C (like postincrementing lvalues).
I've tested them to compile with gcc-4 and I tested
that they work properly with gcc-3.4.4 (so I am quite
sure that they work enough).

The problem is that with the patches applied it works
properly with gcc-3.4.4 and compiles properly with
gcc-4.0.0 but the image generated with gcc-3.4.4 works
properly, while the one generated with gcc-4.0.0 does
not boot at all (nothing comes out from the serial port).

I will upload the patches to improve the code of u-boot
reworking the C code to avoid using gcc extensions.

I'd like if anyone could:
- Review the patches and apply them
- Test a little more the boot process with gcc-4.0 with
the same hierarchy or any other hierarchy.