Unactionable core lint warning due to floating out

I was looking through the build log to try and make it a bit less noisy by removing some warnings. There were quite a lot of core lint warnings which complain about INLINE progams on loop breakers. However, sometimes these bindings are not marked INLINE at the source level but by GHC itself.

cmmDebugLink :: [Label] -> [DebugBlock] -> [DebugBlock]
cmmDebugLink labels blocks = map link blocks
  where blockPos :: LabelMap Int
        blockPos = mapFromList $ flip zip [0..] labels
        link block = block { dblPosition = mapLookup (dblLabel block) blockPos
                           , dblBlocks   = map link (dblBlocks block)
                           }

For example, in this function, link gets floated out to the top level and then marked as INLINE even though it is self-recursive. This causes the following warning:

*** Core Lint warnings : in result of CorePrep ***
5170	<no location info>: warning:
5171	    [RHS of link_slxp :: DebugBlock -> DebugBlock]
5172	    INLINE binder is (non-rule) loop breaker: link_slxp
5173	

But because it's generated by the compiler, there isn't a sensible way to suppress the warning.

Trac metadata

Trac field	Value
Version	8.0.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	low
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture