A run of arduino-1.0.1/hardware/tools/avr/bin/avr-gcc --version says it is version GCC version 4.3.2.