[PATCH] D15272: [Verifier] Verifier that a GlobalValue is only used in this Module

[Keno Fischer via llvm-commits]

I'm concerned that that does too much work, because the Function and in the
Instruction will be checked again elsewhere. Also, the error message would
be bad, since the problem of which value is used outside the module is
actually somewhere else.

On Wed, Dec 23, 2015 at 8:33 PM, Rafael Espíndola <
rafael.espindola at gmail.com> wrote:

> On 23 December 2015 at 13:18, Keno Fischer <kfischer at college.harvard.edu>
> wrote:
> > Somewhere we have to have the logic as to which users we can handle
> (those
> > which are embedded in a module). We can have that in the callback with a
> > boolean flag as to whether we could handle it, or we could have that
> logic
> > in the foreach function. The latter seemed cleaner to me, but as I said,
> no
> > strong opinions here.
> >
>
> What I am suggesting is that the helper should be a fully generic
> "walk every user". What do you think of the attached patch?
>
>
> Cheers,
> Rafael
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151224/13130705/attachment.html>