Skip to content

Testsuite not reporting errors for DYN way on OS X

Using GHC 7.6.3, on OS X 10.8.5, for the program: main = putStrLn "Hello World", compiling with ghc --make -dynamic Main.hs, I get:

~/Documents/devel/test$ ./Main 
dyld: Library not loaded: /usr/local/lib/ghc-7.6.3/base-4.6.0.1/libHSbase-4.6.0.1-ghc7.6.3.dylib
  Referenced from: /Users/christiaan/Documents/devel/test/./Main
  Reason: image not found
Trace/BPT trap: 5

The reason for this is that:

  • I installed GHC in: /opt/ghc/7.6.3 instead of the default /usr/local.
  • GHC-bundled libraries get an OS X install_name with a prefix of /usr/local/ instead of /opt/ghc/7.6.3/, meaning that the runtime linker will be looking in the wrong place.

So, I wondered why this bug never showed in the testsuite and decided to test:

/opt/ghc/7.6.3/src/ghc/testsuite (ghc-7.6)$ make WAY=dyn TEST=10queens

=====> 10queens(dyn) 1834 of 3403 [0, 0, 0]
cd ./programs/10queens && '/opt/ghc/7.6.3/src/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts  -fno-ghci-history --make -o 10queens Main -O -dynamic   >10queens.comp.stderr 2>&1
cd ./programs/10queens && ./10queens    </dev/null >10queens.run.stdout 2>10queens.run.stderr

OVERALL SUMMARY for test run started at Fri Jan 31 09:42:45 CET 2014
    3403 total tests, which gave rise to
   13561 test cases, of which
       0 caused framework failures
   13560 were skipped

       1 expected passes
       0 had missing libraries
       0 expected failures
       0 unexpected passes
       0 unexpected failures

However, when I run the 10queens program myself:

/opt/ghc/7.6.3/src/ghc/testsuite (ghc-7.6)$ tests/programs/10queens/10queens 
dyld: Library not loaded: /usr/local/lib/ghc-7.6.3.20130421/base-4.6.0.1/libHSbase-4.6.0.1-ghc7.6.3.20130421.dylib
  Referenced from: /opt/ghc/7.6.3/src/ghc/testsuite/tests/programs/10queens/10queens
  Reason: image not found
Trace/BPT trap: 5

I get a similar error as the one reported above.

Due to commit f7be53ac, these errors will no longer show in GHC 7.8. However, I feel that the testsuite is now giving a false sense of security in terms of dynamic linking. Obviously dynamic linking was broken in 7.6, but the testsuite did not catch it!

Sadly, this behaviour can now only be verified in the 7.6 branch, and not in 7.8 or HEAD. Hopefully somebody more knowledgeable of the testsuite can comment why dynamic linking worked when an executable was run "within" the testsuite, whilst being broken when run normally.

Trac metadata
Trac field Value
Version 7.6.3
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Test Suite
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information