[GHC] #11522: maxStkSize can overflow

GHC ghc-devs at haskell.org
Tue Feb 9 04:08:33 UTC 2016


#11522: maxStkSize can overflow
-------------------------------------+-------------------------------------
        Reporter:  rwbarton          |                Owner:  MarcelineVQ
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Runtime System    |              Version:  7.8.4
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1895
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by MarcelineVQ):

 * owner:   => MarcelineVQ
 * differential:   => Phab:D1895


Comment:

 The suggested overflow test of -K32.0001G can overflow enough to be above
 the minimally required stack size to run a small program. Decided to use
 -K4294967297W to overflow it to exactly 1 for testing.

 According to the invariants in TSO.h:[[BR]]
 tso->stack_size <= tso->max_stack_size[[BR]]
 Which means I'll need to change StgStack.stack_size too but its
 implications reach farther than the other two, offsets and such, so please
 double-check if that's a good idea.

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


More information about the ghc-tickets mailing list