GitLab

Summary

Panic when compiling with profiling enabled.

Steps to reproduce

$ uname -a
Darwin dyn-40-200.galois.com 19.0.0 Darwin Kernel Version 19.0.0: Wed Sep 25 20:18:50 PDT 2019; root:xnu-6153.11.26~2/RELEASE_X86_64 x86_64

$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.8.1

$ cabal --version
cabal-install version 3.0.0.0
compiled using version 3.0.0.0 of the Cabal library

$ git clone https://github.com/GaloisInc/cryptol
<snip>

$ git log | head -n 1
commit 1e883e9f1dd0190f2b5a24a371f1deb239cc676c

$ cabal v2-configure
'cabal.project.local' file already exists. Now overwriting it.
Build profile: -w ghc-8.8.1 -O1
In order, the following would be built (use -v for more details):
 - Glob-0.10.0 (lib) (requires build)
 - HUnit-1.6.0.0 (lib) (requires build)
 - Only-0.1 (lib) (requires build)
 - binary-orphans-1.0.1 (lib) (requires download & build)
 - base-compat-batteries-0.11.0 (lib) (requires download & build)
 - abstract-deque-0.3 (lib) (requires build)
 - abstract-par-0.3.3 (lib) (requires build)
 - code-page-0.2 (lib) (requires download & build)
 - crackNum-2.3 (exe:crackNum) (requires build)
 - cryptol-2.8.1 (lib) (configuration changed)
 - uuid-types-1.0.3 (lib) (requires build)
 - data-default-class-0.1.2.0 (requires build)
 - hostname-1.0 (requires build)
 - js-flot-0.8.3 (lib) (requires build)
 - js-jquery-3.3.1 (lib) (requires build)
 - old-locale-1.0.0.7 (lib) (requires build)
 - optparse-applicative-0.15.1.0 (lib) (requires build)
 - regex-base-0.94.0.0 (lib) (requires build)
 - time-compat-1.9.2.2 (lib) (requires build)
 - vector-binary-instances-0.2.5.1 (lib) (requires download & build)
 - vector-algorithms-0.8.0.3 (lib) (requires build)
 - vector-th-unbox-0.2.1.7 (lib) (requires build)
 - xml-1.3.14 (requires build)
 - extensible-exceptions-0.1.1.4 (requires download & build)
 - cassava-0.5.2.0 (lib) (requires download & build)
 - monad-par-extras-0.3.3 (lib) (requires build)
 - cryptol-2.8.1 (exe:cryptol-html) (first run)
 - cryptol-2.8.1 (exe:cryptol) (first run)
 - regex-posix-0.96.0.0 (lib) (requires download & build)
 - aeson-1.4.6.0 (lib) (requires build)
 - math-functions-0.3.3.0 (lib) (requires build)
 - test-framework-0.8.2.0 (lib) (requires download & build)
 - microstache-1.0.1.1 (lib) (requires build)
 - criterion-measurement-0.1.2.0 (lib) (requires download & build)
 - mwc-random-0.14.0.0 (lib) (requires build)
 - dense-linear-algebra-0.1.0.0 (lib) (requires download & build)
 - test-framework-hunit-0.3.0.2 (requires download & build)
 - monad-par-0.3.5 (lib) (requires download & build)
 - test-lib-0.2 (lib) (requires download & build)
 - statistics-0.15.2.0 (lib) (requires download & build)
 - test-lib-0.2 (exe:test-runner) (requires download & build)
 - cryptol-test-runner-2.0 (exe:cryptol-test-runner) (first run)
 - criterion-1.5.6.1 (lib) (requires download & build)
 - cryptol-2.8.1 (bench:cryptol-bench) (first run)
 - criterion-1.5.6.1 (exe:criterion-report) (requires download & build)

$ cabal v2-build --enable-profiling
Build profile: -w ghc-8.8.1 -O1
In order, the following will be built (use -v for more details):
 - cryptol-2.8.1 (lib) --enable-profiling (configuration changed)
 - cryptol-2.8.1 (exe:cryptol-html) --enable-profiling (first run)
 - cryptol-2.8.1 (exe:cryptol) --enable-profiling (first run)
Configuring library for cryptol-2.8.1..
Preprocessing library for cryptol-2.8.1..
Building library for cryptol-2.8.1..
[20 of 90] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, /Users/rdockins/code/cryptol/dist-newstyle/build/x86_64-osx/ghc-8.8.1/cryptol-2.8.1/build/Cryptol/Parser/Names.p_o )
ghc: panic! (the 'impossible' happened)
  (GHC version 8.8.1 for x86_64-apple-darwin):
        LocalReg's live-in to graph
  cd8E {_scvf::P64}
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1159:37 in ghc:Outputable
        pprPanic, called at compiler/cmm/CmmLive.hs:70:8 in ghc:CmmLive

Expected behavior

Expect compile to succeed.

Environment

• GHC version used: 8.8.1

Optional:

• Operating System: OSX Catalina 10.15
• System Architecture: