[GHC] #9416: newArray# incorrectly inlines big arrays (overflow1.hs SIGSEGVS on ./validate --slow)
GHC
ghc-devs at haskell.org
Fri Aug 8 10:20:18 UTC 2014
#9416: newArray# incorrectly inlines big arrays (overflow1.hs SIGSEGVS on
./validate --slow)
-------------------------------------+-------------------------------------
Reporter: slyfox | Owner: tibbe
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.8.3
Resolution: | Keywords:
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Easy (less than 1
Type of failure: | hour)
None/Unknown | Blocked By:
Test Case: | Related Tickets:
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by tibbe):
If we disable `shouldInlinePrimOp` altogether we get this Cmm:
{{{
R1 = (-40);
Sp = Sp - 8;
call stg_newByteArray#(R1) returns to c3Nu, args: 8, res: 8, upd: 8;
}}}
Presumably `stg_newByteArrayzh` interprets its argument as an unsigned
quantity and thus the test passes without `shouldInlinePrimOp`.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9416#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list