[gcc r12-5032] [Ada] Add gcc specs with vxworks7 base addresses for cert

[gcc r12-5032] [Ada] Add gcc specs with vxworks7 base addresses for cert

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:cbe421bd45d1994524b7312ab521dcc8b51cbfc6

commit r12-5032-gcbe421bd45d1994524b7312ab521dcc8b51cbfc6
Author: Johannes Kliemann <kliemann@adacore.com>
Date:   Mon Oct 25 13:53:59 2021 +0000

    [Ada] Add gcc specs with vxworks7 base addresses for cert
    
    gcc/ada/
    
            * vxworks7-cert-rtp-link.spec: Replace the definition of
            __wrs_rtp_base with the base_link spec.
            * vxworks7-cert-rtp-base-link.spec: Add base_link spec with
            __wrs_rtp_base definition for all architectures.
            * vxworks7-cert-rtp-base-link__ppc64.spec: Add base_link spec
            with __wrs_rtp_base definition for ppc64.
            * vxworks7-cert-rtp-base-link__x86.spec: Add base_link spec with
            __wrs_rtp_base definition for x86.
            * vxworks7-cert-rtp-base-link__x86_64.spec: Add base_link spec
            with __wrs_rtp_base definition for x86_64.

Diff:
---
 gcc/ada/vxworks7-cert-rtp-base-link.spec         | 2 ++
 gcc/ada/vxworks7-cert-rtp-base-link__ppc64.spec  | 2 ++
 gcc/ada/vxworks7-cert-rtp-base-link__x86.spec    | 2 ++
 gcc/ada/vxworks7-cert-rtp-base-link__x86_64.spec | 2 ++
 gcc/ada/vxworks7-cert-rtp-link.spec              | 2 +-
 5 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/vxworks7-cert-rtp-base-link.spec b/gcc/ada/vxworks7-cert-rtp-base-link.spec
new file mode 100644
index 00000000000..1d6ee49b128
--- /dev/null
+++ b/gcc/ada/vxworks7-cert-rtp-base-link.spec
@@ -0,0 +1,2 @@
+*base_link:
+--defsym=__wrs_rtp_base=0x80000000
diff --git a/gcc/ada/vxworks7-cert-rtp-base-link__ppc64.spec b/gcc/ada/vxworks7-cert-rtp-base-link__ppc64.spec
new file mode 100644
index 00000000000..97332b85440
--- /dev/null
+++ b/gcc/ada/vxworks7-cert-rtp-base-link__ppc64.spec
@@ -0,0 +1,2 @@
+*base_link:
+--defsym=__wrs_rtp_base=0x40000000
diff --git a/gcc/ada/vxworks7-cert-rtp-base-link__x86.spec b/gcc/ada/vxworks7-cert-rtp-base-link__x86.spec
new file mode 100644
index 00000000000..eafb5828b37
--- /dev/null
+++ b/gcc/ada/vxworks7-cert-rtp-base-link__x86.spec
@@ -0,0 +1,2 @@
+*base_link:
+--defsym=__wrs_rtp_base=0x400000
diff --git a/gcc/ada/vxworks7-cert-rtp-base-link__x86_64.spec b/gcc/ada/vxworks7-cert-rtp-base-link__x86_64.spec
new file mode 100644
index 00000000000..dd288690ab9
--- /dev/null
+++ b/gcc/ada/vxworks7-cert-rtp-base-link__x86_64.spec
@@ -0,0 +1,2 @@
+*base_link:
+--defsym=__wrs_rtp_base=0x200000
diff --git a/gcc/ada/vxworks7-cert-rtp-link.spec b/gcc/ada/vxworks7-cert-rtp-link.spec
index 4bbf3762cc7..9923c58defa 100644
--- a/gcc/ada/vxworks7-cert-rtp-link.spec
+++ b/gcc/ada/vxworks7-cert-rtp-link.spec
@@ -3,8 +3,8 @@
 
 *link:
 + %{!nostdlib:%{mrtp:%{!shared: \
+     %(base_link) \
      -l:certRtp.o \
      -L%:getenv(VSB_DIR /usr/lib/common/objcert) \
-     --defsym=__wrs_rtp_base=0x80000000 \
      -T%:getenv(VSB_DIR /usr/ldscripts/rtp.ld) \
    }}}