mbedmicro/mbed — pull request #603 by dinau (2014-10-25 15:55:13+00:00)
Title: [GCC_CR] fixed issue 590

Refer to:
https://github.com/mbedmicro/mbed/issues/590