rts: Make LOOKS_LIKE_INFO_PTR a bit more strict
AcceptedPublic

Authored by bgamari on May 31 2018, 9:46 AM.

Details

Reviewers
simonmar
osa1
Summary

In particular, we now verify that the info table doesn't reside in the
dynamic heap.

Test Plan

Validate

bgamari created this revision.May 31 2018, 9:46 AM
osa1 accepted this revision.May 31 2018, 9:47 AM

Makes sense to me.

This revision is now accepted and ready to land.May 31 2018, 9:47 AM

Might be an idea to do a spot-check on the performance impact of doing this. We don't mind paying for assertions as long as they don't kill performance too much, then we put them behind +RTS -DS.

includes/Cmm.h
580

The NULL test is now superfluous.

bgamari updated this revision to Diff 16733.Jun 5 2018, 5:02 PM

Rip out 0 check