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: Dec 23 2024 at 13:07 UTC