[GHC] #14807: GHC does not pass -dstg-lint
#14807: GHC does not pass -dstg-lint -------------------------------------+------------------------------------- Reporter: sergv | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.1-alpha3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When building ghc-8.4 branch with -dstg-lint enabled I got a GHC panic error (please see attachment as it's really big). The error is reproducible on Windows and Debian Linux 64 bit operating systems. As a side note, it seems that it would be good to enable `-dstg-lint` and `-dcmm-lint` in `devel2` flavour, and possibly some other flavours, or at least on CI, so that they will be tested more frequently. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14807 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14807: GHC does not pass -dstg-lint -------------------------------------+------------------------------------- Reporter: sergv | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.1-alpha3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by sergv): * Attachment "ghc-error.xz" added. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14807 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14807: GHC does not pass -dstg-lint -------------------------------------+------------------------------------- Reporter: sergv | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.1-alpha3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by sergv: Old description:
When building ghc-8.4 branch with -dstg-lint enabled I got a GHC panic error (please see attachment as it's really big). The error is reproducible on Windows and Debian Linux 64 bit operating systems.
As a side note, it seems that it would be good to enable `-dstg-lint` and `-dcmm-lint` in `devel2` flavour, and possibly some other flavours, or at least on CI, so that they will be tested more frequently.
New description: When building ghc-8.4 branch with -dstg-lint enabled I got a GHC panic error (please see attachment for full log as it's really big). The error is reproducible on Windows and Debian Linux 64 bit operating systems. Short error: {{{ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O -H64m -Wall -this-unit-id ghc-prim-0.5.2.0 -hide-all-packages -i -ilibraries/ghc-prim/. -ilibraries/ghc-prim/dist-install/build -Ilibraries /ghc-prim/dist-install/build -ilibraries/ghc-prim/dist- install/build/./autogen -Ilibraries/ghc-prim/dist-install/build/./autogen -Ilibraries/ghc-prim/. -optP-include -optPlibraries/ghc-prim/dist- install/build/./autogen/cabal_macros.h -package-id rts -this-unit-id ghc- prim -XHaskell2010 -O -dcore-lint -dstg-lint -dcmm-lint -no-user-package- db -rtsopts -Wno-trustworthy-safe -Wno-deprecated-flags -Wnoncanonical-monad-instances -odir libraries/ghc-prim/dist- install/build -hidir libraries/ghc-prim/dist-install/build -stubdir libraries/ghc-prim/dist-install/build -dynamic-too -c libraries/ghc- prim/./GHC/Types.hs -o libraries/ghc-prim/dist-install/build/GHC/Types.o -dyno libraries/ghc-prim/dist-install/build/GHC/Types.dyn_o ghc-stage1: panic! (the 'impossible' happened) (GHC version 8.4.0.20180204 for x86_64-unknown-linux): *** Stg Lint ErrMsgs: in Unarise *** <no location info>: warning: [in body of lambda with binders v_s9Xn :: (a_12 :: k0_10) ~~ (b_13 :: k1_11)] In some algebraic case alternative, number of arguments doesn't match constructor: Eq# (arity 1) [] <no location info>: warning: [in body of lambda with binders v_s9Xp :: Coercible a_11 b_12] In some algebraic case alternative, number of arguments doesn't match constructor: MkCoercible (arity 1) [] *** Offending Program *** ... lots of lines skipped ... *** End of Offense *** Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/stgSyn/StgLint.hs:68:19 in ghc:StgLint Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug libraries/ghc-prim/ghc.mk:4: recipe for target 'libraries/ghc-prim/dist- install/build/GHC/Types.o' failed }}} As a side note, it seems that it would be good to enable `-dstg-lint` and `-dcmm-lint` in `devel2` flavour, and possibly some other flavours, or at least on CI, so that they will be tested more frequently. -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14807#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14807: GHC does not pass -dstg-lint -------------------------------------+------------------------------------- Reporter: sergv | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.1-alpha3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * cc: osa1 (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14807#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14807: GHC does not pass -dstg-lint -------------------------------------+------------------------------------- Reporter: sergv | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.4.1-alpha3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: #14787 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * status: new => closed * resolution: => duplicate * related: => #14787 Comment: Thanks for reporting. `-dstg-lint` was broken for a long time and only recently fixed in #14787. It should be merged sometime next week (currently waiting for @simonpj's review). However I don't know if it'll be merged to 8.4 branch, @bgamari would know. Closing as duplicate. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14807#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14807: GHC does not pass -dstg-lint -------------------------------------+------------------------------------- Reporter: sergv | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.1-alpha3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: #14787 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: => 8.6.1 Comment: I don't see a compelling reason to merge to 8.4. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14807#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC