#15000: Add a linter for debug information (-g) -------------------------------------+------------------------------------- Reporter: niteria | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 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: -------------------------------------+------------------------------------- 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15000 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler