[llvm-dev] [RFC] Introduction of the 'unknown_provenance' LLVM-IR constant

[Reid Kleckner via llvm-dev]

On Wed, Nov 17, 2021 at 6:17 AM Jeroen Dobbelaere via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> Together with the ptr_provenance infrastructure, this provides a base
> infrastructure
> that allows us to:
>
...

> - provide a fix for PR44313 [3], while still making use of the p==q value
> equality
>

I watched your dev meeting talk and discussed it afterwards with Alina. I
am very keen to see how these new load & store provenance annotations can
resolve PR44313 <https://bugs.llvm.org/show_bug.cgi?id=44313>, the conflict
between predicate info and LLVM's alias logic. It has been a longstanding
issue. I can't claim to understand all the details, but I want to express
my enthusiastic support for this work.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20211118/5f9b7f89/attachment.html>