[PATCH] fix for PR16393: miscompile with struct byval

[Jakob Stoklund Olesen]

On Jul 15, 2013, at 2:18 PM, Manman Ren <mren at apple.com> wrote:

> 
> Updated verifier patch to
> 1> use a SmallVector instead of a DenseMap
> 2> verify at end of a return block, the frame is destroyed.
> 
> Thanks,
> Manman
> <spadj_verify.patch>

LGTM.

Thanks,
/jakob