Changeset 435 for soft/giet_vm

Timestamp:

Oct 12, 2014, 6:53:55 PM (10 years ago)

Author:

cfuguet

Message:

makefile: adding new CFLAG option to avoid problems with GCC's versions >= 4.9

+ GCC's versions >= 4.9 use a default option:

-fdelete-null-pointer-checks.

This option prohibits the access to the address 0 as this shouldn't
contain any data. The reason is that this address is used to identify
NULL pointers.
When a code contains references to the address 0, GCC is replacing this
code for a trap instruction.

For this reason, the -fno-delete-null-pointer-checks should be
passed in the CFLAGS to avoid this behavior.

File:

• soft/giet_vm/Makefile (modified) (1 diff)

soft/giet_vm/Makefile

@@ -121 +121 @@
                build/libs/spin_lock.o
 
-CFLAGS = -Wall -ffreestanding -mno-gpopt -mips32 -g -O2
+CFLAGS = -Wall -ffreestanding -mno-gpopt -mips32 -g -O2 \
+                 -fno-delete-null-pointer-checks
 
 GIET_INCLUDE = -Igiet_boot    \