[GHC] #13195: Ticks panic
#13195: Ticks panic -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: MacOS X Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ Preprocessing test suite 'tests' for url-decoders-1... [1 of 1] Compiling Main ( tests/Main.hs, dist/build/tests /tests-tmp/Main.o ) <no location info>: error: ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-apple-darwin): Simplifier ticks exhausted When trying UnfoldingDone withForeignPtr1 To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed To see detailed counts use -ddump-simpl-stats Total ticks: 144969 }}} To reproduce the but, clone a repo under the specified commit from the following URL: https://github.com/nikita-volkov/url- decoders/tree/22410402a41b7524a1af03d78e381e9ea6354944 Then run the following command on the project: {{{ cabal configure --enable-tests && cabal build --ghc-options=-O2 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13195 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13195: Ticks panic -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): How high do you have to increase the tick factor to make it compile? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13195#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13195: Ticks panic -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mojojojo): 200 seems enough -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13195#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13195: Ticks panic -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): I also note that every definition in the library is marked as INLINE so it perhaps not surprising that the inliner is working hard. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13195#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13195: Ticks panic -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mojojojo): Yes. Tinkering with inlinings also makes the bug disappear, however it also reduces the runtime performance. Either way, the compiler itself states that it is a compiler bug, hence I'm reporting it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13195#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC