mbed-os/workspace_tools
Bogdan Marinescu a7628510f5 Added '-fno-delete-null-pointer-checks' to GCC compilation options
From Adam Green, regarding using -fno-delete-null-pointer-checks:

"I would argue that on Cortex-M processors, it is more dangerous to not
have it.  The compiler can actually generate incorrect code because it is
making an incorrect assumption (that reads from a NULL pointer will throw
an exception.)   The GCC for ARM developers should actually never enable
the delete-null-pointer-checks optimization for Cortex-M processors.
There is a comment in the GCC manual that indicates, "Some targets,
especially embedded ones, disable this option [delete-null-pointer-checks]
at all levels."  Not having this flag is pretty risky on the current
versions of GCC_ARM.  Just to clarify, this flag doesn't enable an
optimization...it disables an unsafe optimization."
2013-08-16 12:26:50 +03:00
..
data Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
debugger Correctly wait for powerup acknowledge 2013-07-22 18:17:12 +01:00
dev Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
export Define all the required symbols in the generated project files 2013-08-08 16:58:37 +01:00
host_tests Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
toolchains Added '-fno-delete-null-pointer-checks' to GCC compilation options 2013-08-16 12:26:50 +03:00
__init__.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
autotest.py Add test groups. 2013-08-07 14:51:24 +03:00
build.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
build_api.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
build_release.py Added script for building an official release of the mbed library 2013-08-12 13:45:35 +03:00
client.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
export_test.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
libraries.py Compile network and RTOS with GCC_ARM 2013-08-14 22:34:33 +02:00
make.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
options.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
patch.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
paths.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
server.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
settings.py Tidy up default settings 2013-08-15 16:09:12 +01:00
size.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
syms.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
synch.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00
targets.py Add LPC11U24/301 TARGET 2013-08-09 17:21:03 +01:00
tests.py Compile network and RTOS with GCC_ARM 2013-08-14 22:52:16 +02:00
utils.py Add license to workspace_tools files 2013-08-06 14:38:00 +01:00