From 0f15d4765a76e3c6998fe0b6e9726a3e26c3b765 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sat, 7 Jul 2018 11:48:09 +0000
Subject: [PATCH] goto-ld: accept (but do not process) further ld options

---
 src/goto-cc/ld_cmdline.cpp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/goto-cc/ld_cmdline.cpp b/src/goto-cc/ld_cmdline.cpp
index 6e8efecb702..a96880b4f8d 100644
--- a/src/goto-cc/ld_cmdline.cpp
+++ b/src/goto-cc/ld_cmdline.cpp
@@ -71,16 +71,28 @@ const char *ld_options_with_argument[]=
   "-Y",
   "--assert",
   "--defsym",
+  "--file-alignment",
   "--fini",
   "--hash-size",
+  "--heap",
+  "--image-base",
   "--init",
   "--Map",
+  "--major-image-version",
+  "--major-os-version",
+  "--major-subsystem-version",
+  "--minor-image-version",
+  "--minor-os-version",
+  "--minor-subsystem-version",
   "--oformat",
   "--retain-symbols-file",
   "--rpath",
   "--rpath-link",
+  "--section-alignment",
   "--sort-section",
   "--spare-dynamic-tags",
+  "--stack",
+  "--subsystem",
   "--task-link",
   "--section-start",
   "--Tbss",