Changeset 435 for soft/giet_vm


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • soft/giet_vm/Makefile

    r432 r435  
    121121               build/libs/spin_lock.o
    122122
    123 CFLAGS = -Wall -ffreestanding -mno-gpopt -mips32 -g -O2
     123CFLAGS = -Wall -ffreestanding -mno-gpopt -mips32 -g -O2 \
     124                 -fno-delete-null-pointer-checks
    124125
    125126GIET_INCLUDE = -Igiet_boot    \
Note: See TracChangeset for help on using the changeset viewer.