Remove mention of dead stores in comment for MemFlags::notrap

[leoyvens]

Claiming that notrap makes it possible to remove a dead store seems incorrect. This contradicts inst_predicates.rs which considers anything that stores as having side effects.

[github-actions]

Subscribe to Label Action

cc @bnjbvr

Details

This issue or pull request has been labeled: "cranelift"

Thus the following users have been cc'd because of the following labels:

• bnjbvr: cranelift

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

[sunfishcode]

The IR flag comment is talking about what's theoretically possible, and inst_predicates.rs is just what's currently implemented. notrap does still mean that it's possible to remove a store, if it can also be shown to be a dead store.

[leoyvens]

@sunfishcode Thanks for the response, that makes sense.