#14677: Code generator does not correctly tag a pointer -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: CodeGen Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 15155 | Blocking: 14626 Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I'm getting a bit lost. * In ticket:15155#comment:11 we decided that we do NOT have the invariant that a strict constructor always has a correctly-tagged pointer in it. * An example of the difficulty is in ticket:15696#comment:36 * Simon Marlow suggested one way to restore the invariant in ticket:15155#comment:17. But we have not implemented this. So doing this IND_STATIC stuff might reduce code size a tiny bit, but will not (of itself) change the situation for tagged pointers in strict constructors. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14677#comment:28 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler