[llvm-dev] llvm.dbg.declare constraints

[David Blaikie via llvm-dev]

+Aprantl for debug info IR metadata verifier things

I don't think the verifier's rigorously comprehensive - so probably
somewhere between "intended/acceptable" and "a bug".

Not sure what the consequences might be.

On Sun, Oct 4, 2020 at 10:03 PM Xun Li via llvm-dev <llvm-dev at lists.llvm.org>
wrote:

> Hi,
>
> In the LLVM documentation it says "there can only be one call to
> llvm.dbg.declare for a given concrete local variable."
> However we don't seem to be checking it. opt tool can process IR that
> violates this rule without complaining. Is this intended, or is it a
> bug? What would be the consequence when this constraint is broken?
>
> --
> Xun
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20201004/cbc13eee/attachment.html>