Stream: git-wasmtime

Topic: wasmtime / PR #1828 Remove mention of dead stores in comm...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 05 2020 at 13:36):

leoyvens opened PR #1828 from remove-dead-store-comment to master:

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.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 05 2020 at 14:36):

leoyvens closed without merge PR #1828.

Last updated: Nov 22 2024 at 16:03 UTC