[PATCH] D15272: [Verifier] Verifier that a GlobalValue is only used in this Module
Keno Fischer via llvm-commits
llvm-commits at lists.llvm.org
Wed Dec 23 22:39:41 PST 2015
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>
> > Somewhere we have to have the logic as to which users we can handle
> > 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
> > in the foreach function. The latter seemed cleaner to me, but as I said,
> > 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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-commits