[GHC] #15000: Add a linter for debug information (-g)

[GHC]

#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