[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