vxworks.h (DBX_REGISTER_NUMBER): Pick distinct map for 64bits.
authorJerome Lambourg <lambourg@adacore.com>
Tue, 27 Jun 2017 13:47:26 +0000 (13:47 +0000)
committerOlivier Hainque <hainque@gcc.gnu.org>
Tue, 27 Jun 2017 13:47:26 +0000 (13:47 +0000)
commit580536aa23064b9deb124bb70c9327c865611b27
treec7602e66ff552ae7b5f88cddf8b4e926c22f3a80
parent50567938f93131f62346523bdb5a7d5fd251f42e
vxworks.h (DBX_REGISTER_NUMBER): Pick distinct map for 64bits.

2017-06-27  Jerome Lambourg  <lambourg@adacore.com>
            Olivier Hainque  <hainque@adacore.com>

* config/i386/vxworks.h (DBX_REGISTER_NUMBER): Pick distinct
map for 64bits.
(TARGET_OS_CPP_BUILTINS): builtin_define CPU to X86_64 for 64bit
targets. Pick a default if no particular attempt applied.
(STACK_CHECK_PROTECT): Double for 64bit targets, which have
larger contexts.

Co-Authored-By: Olivier Hainque <hainque@adacore.com>
From-SVN: r249690
gcc/ChangeLog
gcc/config/i386/vxworks.h