[PATCH] D69542: Full Restrict Support - single patch

Fri Jan 13 02:19:41 PST 2023

jeroen.dobbelaere added a comment.

In D69542#4046725 <https://reviews.llvm.org/D69542#4046725>, @nikic wrote:

> Thanks for the rebase!
>
> I tested the updated patch with rustc, but unfortunately didn't get very far again. The proc_macro build fails with verifier errors:
> ...
> Here is the input IR (run under e.g. `opt -O2`): https://gist.github.com/nikic/fb9701235151e199fff0a23530808539

Hi @nikic, thanks for trying it out. I am able to reproduce the problem and was also able to produce a reduced version. I'll provide an update once I have a fix.

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

https://reviews.llvm.org/D69542