#15000: Add a linter for debug information (-g) -------------------------------------+------------------------------------- Reporter: niteria | Owner: niteria Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Debugging | (amd64) information is incorrect | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by niteria: Old description:
There are some sanity checks we can do.
For example if you see following Cmm:
{{{ unwind Sp = Sp + 16 Sp = Sp + 16 unwind Sp = Sp + 64 }}}
You can tell that it's wrong because it's clear how `Sp` changed between the two unwind points.
I think this would fit well with the Cmm linter.
New description: There are some sanity checks we can do. For example if you see the following Cmm: {{{ unwind Sp = Just Sp + 16; Sp = Sp + 16; unwind Sp = Just Sp + 64; }}} You can tell that it's wrong because it's clear how `Sp` changed between the two unwind points. I think this would fit well with the Cmm linter. -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15000#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler