[GHC] #9130: Segmentation fault in ThreadPaused.c:223 when compiled with -O

[GHC]

#9130: Segmentation fault in ThreadPaused.c:223 when compiled with -O
-----------------------------------+----------------------------------
        Reporter:  twi             |            Owner:  simonmar
            Type:  bug             |           Status:  new
        Priority:  high            |        Milestone:
       Component:  Runtime System  |          Version:  7.8.2
      Resolution:                  |         Keywords:
Operating System:  Linux           |     Architecture:  x86_64 (amd64)
 Type of failure:  Runtime crash   |       Difficulty:  Unknown
       Test Case:                  |       Blocked By:
        Blocking:                  |  Related Tickets:
-----------------------------------+----------------------------------

Comment (by ezyang):

 I cannot reproduce on HEAD (7d958ce323e3433c9e996e1a240a5741bfcfc341).

 {{{
 [ezyang at hs01 ghc-validate]$ cabal install --with-ghc=/home/hs01/ezyang
 /ghc-validate/inplace/bin/ghc-stage2 async
 Resolving dependencies...
 Configuring stm-2.4.3...
 Building stm-2.4.3...
 Preprocessing library stm-2.4.3...
 [ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs,
 dist/build/Control/Sequential/STM.o )
 [ 2 of 10] Compiling Control.Concurrent.STM.TBQueue (
 Control/Concurrent/STM/TBQueue.hs,
 dist/build/Control/Concurrent/STM/TBQueue.o )
 [ 3 of 10] Compiling Control.Concurrent.STM.TQueue (
 Control/Concurrent/STM/TQueue.hs,
 dist/build/Control/Concurrent/STM/TQueue.o )
 [ 4 of 10] Compiling Control.Concurrent.STM.TChan (
 Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o
 )
 [ 5 of 10] Compiling Control.Concurrent.STM.TMVar (
 Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o
 )
 [ 6 of 10] Compiling Control.Concurrent.STM.TVar (
 Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
 [ 7 of 10] Compiling Control.Concurrent.STM.TArray (
 Control/Concurrent/STM/TArray.hs,
 dist/build/Control/Concurrent/STM/TArray.o )
 [ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs,
 dist/build/Control/Monad/STM.o )
 [ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs,
 dist/build/Control/Concurrent/STM.o )
 [10 of 10] Compiling Control.Concurrent.STM.TSem (
 Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
 In-place registering stm-2.4.3...
 Installing library in
 /home/u1/ezyang/.cabal/lib/x86_64-linux-ghc-7.9.20140520/stm-2.4.3
 Registering stm-2.4.3...
 Installed stm-2.4.3
 Configuring async-2.0.1.5...
 Building async-2.0.1.5...
 Preprocessing library async-2.0.1.5...
 [1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs,
 dist/build/Control/Concurrent/Async.o )
 In-place registering async-2.0.1.5...
 Installing library in
 /home/u1/ezyang/.cabal/lib/x86_64-linux-ghc-7.9.20140520/async-2.0.1.5
 Registering async-2.0.1.5...
 Installed async-2.0.1.5
 [ezyang at hs01 ghc-validate]$ vim Tests.hs
 ld/Control/Concurrent/STM/TArray.o )
 [ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs,
 dist/build/Control/Monad/STM.o )
 [ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs,
 dist/build/Control/Concurrent/STM.o )
 [10 of 10] Compiling Control.Concurrent.STM.TSem (
 Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
 In-place registering stm-2.4.3...
 Installing library in
 /home/u1/ezyang/.cabal/lib/x86_64-linux-ghc-7.9.20140520/stm-2.4.3
 Registering stm-2.4.3...
 Installed stm-2.4.3
 Configuring async-2.0.1.5...
 Building async-2.0.1.5...
 Preprocessing library async-2.0.1.5...
 [1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs,
 dist/build/Control/Concurrent/Async.o )
 In-place registering async-2.0.1.5...
 Installing library in
 /home/u1/ezyang/.cabal/lib/x86_64-linux-ghc-7.9.20140520/async-2.0.1.5
 Registering async-2.0.1.5...
 Installed async-2.0.1.5
 [ezyang at hs01 ghc-validate]$ vim Tests.hs
 [ezyang at hs01 ghc-validate]$ inplace/bin/ghc-stage2 --make -fforce-recomp
 -O Tests
 [1 of 1] Compiling Main             ( Tests.hs, Tests.o )
 Linking Tests ...
 [ezyang at hs01 ghc-validate]$ ./Tests
 [ezyang at hs01 ghc-validate]$ valgrind ./Tests
 ==24993== Memcheck, a memory error detector
 ==24993== Copyright (C) 2002-2013, and GNU GPL'd, by Julian Seward et al.
 ==24993== Using Valgrind-3.9.0 and LibVEX; rerun with -h for copyright
 info
 ==24993== Command: ./Tests
 ==24993==
 ==24993==
 ==24993== HEAP SUMMARY:
 ==24993==     in use at exit: 4,108 bytes in 2 blocks
 ==24993==   total heap usage: 51 allocs, 49 frees, 64,682 bytes allocated
 ==24993==
 ==24993== LEAK SUMMARY:
 ==24993==    definitely lost: 0 bytes in 0 blocks
 ==24993==    indirectly lost: 0 bytes in 0 blocks
 ==24993==      possibly lost: 0 bytes in 0 blocks
 ==24993==    still reachable: 4,108 bytes in 2 blocks
 ==24993==         suppressed: 0 bytes in 0 blocks
 ==24993== Rerun with --leak-check=full to see details of leaked memory
 ==24993==
 ==24993== For counts of detected and suppressed errors, rerun with: -v
 ==24993== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 1 from 1)
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9130#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler