Merge pull request #6578 from tautschnig/bugfixes/linker-script-testing

Actually test linker script processing

Author: tautschnig

regression/ansi-c/Makefile

@@ -12,15 +12,14 @@ endif
 ifeq ($(BUILD_ENV_),MSVC)
 	excluded_tests = -X gcc-only
 else
+ifeq ($(BUILD_ENV_),OSX)
 	# In MacOS, a change in the assert.h header file
 	# is causing template errors when exercising the
 	# C++ front end (because of a transitive include
 	# of <type_traits>) for files that include the
 	# <assert.h> or <cassert> headers.
-	OS := $(shell uname)
-	ifeq ($(OS),Darwin)
-		excluded_tests = -X macos-assert-broken
-	endif
+  excluded_tests = -X macos-assert-broken
+endif
 endif
 
 test:

regression/cbmc-cpp/Makefile

@@ -6,15 +6,14 @@ include ../../src/common
 ifeq ($(BUILD_ENV_),MSVC)
 	excluded_tests = -X gcc-only -X winbug
 else
+ifeq ($(BUILD_ENV_),OSX)
 	# In MacOS, a change in the assert.h header file
 	# is causing template errors when exercising the
 	# C++ front end (because of a transitive include
 	# of <type_traits>) for files that include the
 	# <assert.h> or <cassert> headers.
-	OS := $(shell uname)
-	ifeq ($(OS),Darwin)
-		excluded_tests = -X macos-assert-broken
-	endif
+  excluded_tests = -X macos-assert-broken
+endif
 endif
 
 test:

regression/cpp/Makefile

@@ -12,15 +12,14 @@ endif
 ifeq ($(BUILD_ENV_),MSVC)
 	excluded_tests = -X gcc-only -X winbug
 else
+ifeq ($(BUILD_ENV_),OSX)
 	# In MacOS, a change in the assert.h header file
 	# is causing template errors when exercising the
 	# C++ front end (because of a transitive include
 	# of <type_traits>) for files that include the
 	# <assert.h> or <cassert> headers.
-	OS := $(shell uname)
-	ifeq ($(OS),Darwin)
-		excluded_tests = -X macos-assert-broken
-	endif
+  excluded_tests = -X macos-assert-broken
+endif
 endif
 
 test:

regression/goto-gcc/CMakeLists.txt

@@ -1,7 +1,13 @@
+if("${CMAKE_SYSTEM_NAME}" STREQUAL "Darwin")
+  set(not_gnu_ld -X gnu-ld-only)
+else()
+  set(not_gnu_ld "")
+endif()
+
 # TARGET_FILE (as used in other directories) can't be used with goto-gcc as it
 # isn't marked as an executable (target), which CMake requires. Thus construct a
 # path in the same way the symbolic link is created in the goto-cc directory.
-add_test_pl_tests("$<TARGET_FILE_DIR:goto-cc>/goto-gcc")
+add_test_pl_tests("$<TARGET_FILE_DIR:goto-cc>/goto-gcc" ${not_gnu_ld})
 
 add_custom_command(OUTPUT "${CMAKE_CURRENT_SOURCE_DIR}/archives/libour_archive.a"
     COMMAND "$<TARGET_FILE_DIR:goto-cc>/goto-gcc" -c foo.c
@@ -15,3 +21,11 @@ add_custom_command(OUTPUT "${CMAKE_CURRENT_SOURCE_DIR}/archives/libour_archive.a
 add_custom_target(libour_archive.a ALL
     DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/archives/libour_archive.a"
 )
+
+if(NOT "${CMAKE_SYSTEM_NAME}" STREQUAL "Windows")
+  set_property(
+    TEST "goto-gcc-CORE"
+    PROPERTY ENVIRONMENT
+      "PATH=$ENV{PATH}:$<TARGET_FILE_DIR:goto-cc>"
+  )
+endif()

regression/goto-gcc/Makefile

@@ -9,11 +9,16 @@ test:
 tests.log: ../test.pl
 
 else
+ifeq ($(BUILD_ENV_),OSX)
+  not_gnu_ld = -X gnu-ld-only
+endif
 test: ../../src/goto-cc/goto-gcc
-	@../test.pl -e -p -c ../../../src/goto-cc/goto-gcc
+	@PATH=../../../scripts:$$PATH \
+		../test.pl -e -p -c ../../../src/goto-cc/goto-gcc $(not_gnu_ld)
 
 tests.log: ../test.pl ../../src/goto-cc/goto-gcc
-	@../test.pl -e -p -c ../../../src/goto-cc/goto-gcc
+	@PATH=../../../scripts:$$PATH \
+		../test.pl -e -p -c ../../../src/goto-cc/goto-gcc $(not_gnu_ld)
 
 ../../src/goto-cc/goto-gcc: ../../src/goto-cc/goto-cc
 	@ln -sf goto-cc ../../src/goto-cc/goto-gcc

regression/ansi-c/linker_script_start+end/main.c renamed to regression/goto-gcc/linker_script_start+end/main.c

@@ -2,11 +2,13 @@ extern char src_start[];
 extern char src_end[];
 extern char dst_start[];
 
-void *memcpy(void *dest, void *src, unsigned n){
+void *memcpy(void *dest, void *src, unsigned n)
+{
   return (void *)0;
 }
 
-int main(){
+int main()
+{
   memcpy(dst_start, src_start, (unsigned)src_end - (unsigned)src_start);
   return 0;
 }

regression/ansi-c/linker_script_start+end/script.ld renamed to regression/goto-gcc/linker_script_start+end/script.ld

@@ -1,9 +1,10 @@
-CORE
+CORE gnu-ld-only
 main.c
--o out.gb -T script.ld -nostdlib
+-o out.gb -T script.ld -nostdlib -static -Wall
 ^EXIT=0$
 ^SIGNAL=0$
 --
+Problem parsing linker script
 ^warning: ignoring
 ^CONVERSION ERROR$
 --

regression/ansi-c/linker_script_start+end/test.desc renamed to regression/goto-gcc/linker_script_start+end/test.desc

@@ -2,11 +2,13 @@ extern char src_start[];
 extern char src_size[];
 extern char dst_start[];
 
-void *memcpy(void *dest, void *src, unsigned n){
+void *memcpy(void *dest, void *src, unsigned n)
+{
   return (void *)0;
 }
 
-int main(){
+int main()
+{
   memcpy(dst_start, src_start, (unsigned)src_size);
   return 0;
 }