CLabel: Catch #11155 during C-- pretty-printing
authorBen Gamari <bgamari.foss@gmail.com>
Tue, 17 May 2016 17:16:30 +0000 (19:16 +0200)
committerBen Gamari <ben@smart-cactus.org>
Wed, 18 May 2016 20:02:22 +0000 (22:02 +0200)
commitf091218ae14a24f9dbd991794c2da6377364578b
tree63a9d1cd2fcc708b5bc2efc58616d741ae63e910
parent310371ff2d5b73cdcb2439b67170ca5e613541c0
CLabel: Catch #11155 during C-- pretty-printing

In #11555 we ended up generating references to the non-existence
stg_ap_0_upd. Here we add asserts to verify that we don't generate
references to non-existent selector or application symbols.

It would likely also make sense to add further asserts during code
generation, so we can catch the issue even closer to its source.

Test Plan: Validate

Reviewers: simonmar, austin, ezyang

Reviewed By: simonmar, austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2230

GHC Trac Issues: #11155
compiler/cmm/CLabel.hs