Assertion and comment sounds like a good idea, yes. No, we don't have a specific way for compile-time assertions that I know.
The calloc site should also get a comment that we rely on the zeroing: as long as that and the assert exist, FREE_PAGE_FLAG site may have, but doesn't strictly speaking need a comment.
Maybe leave the loop in there in the comment instead of explaining what used to be there?
Cheneygc should not be affected.
Assertion and comment sounds like a good idea, yes. No, we don't have a specific way for compile-time assertions that I know.
The calloc site should also get a comment that we rely on the zeroing: as long as that and the assert exist, FREE_PAGE_FLAG site may have, but doesn't strictly speaking need a comment.
Maybe leave the loop in there in the comment instead of explaining what used to be there?