[PATCH] D100141: [nofree] Restrict semantics to memory visible to caller

Mon Apr 19 10:35:19 PDT 2021

reames added a comment.

In D100141#2697374 <https://reviews.llvm.org/D100141#2697374>, @nlopes wrote:

> I've updated Alive2 with the new semantics and I see one regression:

Ok, wow.  Thank you!

This patch and the alive2 tooling combined just paid off big time.

In the background, I've been trying to figure out a miscompile (https://github.com/emscripten-core/emscripten/issues/9443), and I'm pretty sure this exactly the issue.  Or at least, it seems pretty likely.

I will be posting a fix for the issue identified here later today.

Thanks again!

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D100141/new/

https://reviews.llvm.org/D100141