[PATCH] D69542: Full Restrict Support - single patch

Tue May 30 07:46:36 PDT 2023

jeroen.dobbelaere added a comment.

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

> For the record, I tested the new rebase and the "llvm.provenance.noalias scope arg must match with llvm.noalias.decl" issue still exists. I wasn't sure whether it was supposed to be fixed or not.

That problem is indeed not fixed. It is also related to a new check with PHI nodes that already triggers in the .ll file that you provided earlier.

Thanks for testing !

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

https://reviews.llvm.org/D69542