[GHC] #15000: Add a linter for debug information (-g)
#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
#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: | -------------------------------------+------------------------------------- Changes (by niteria): * cc: simonmar, bgamari (added) * owner: (none) => niteria -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15000#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
#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): phab:D4559 Wiki Page: | -------------------------------------+------------------------------------- Changes (by niteria): * differential: => phab:D4559 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15000#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC