<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Aug 21, 2015 at 4:54 PM, Duncan P. N. Exon Smith <span dir="ltr"><<a href="mailto:dexonsmith@apple.com" target="_blank">dexonsmith@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span class=""><br>
> On 2015-Aug-21, at 13:39, David Blaikie <<a href="mailto:dblaikie@gmail.com">dblaikie@gmail.com</a>> wrote:<br>
><br>
> While checking for serialization/deserialization without using pointee types, I've come across a few test cases that crash at head, without my debugging assertions for accessing pointee types.<br>
><br>
> One of them is test/Transforms/StripSymbols/2010-06-30-StripDebug.ll<br>
><br>
> Its retainedTypes metadata points to a metadata array of a single null element.<br>
><br>
> This crashes the dyn_cast (because it's not a dyn_cast_or_null) Verifier.cpp:3785<br>
<br>
</span>The Verifier should crash in any case, it should just fail.<br></blockquote><div><br></div><div><pre style="color:rgb(0,0,0)">r245795</pre></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span class="">
> Do you have a preferred/canonical representation intended in this case - an extant, but zero-length list, or no list at all? I tend to prefer no list at all, just because it simplifies reading of the debug info. Rather than seeing a "retainedTypes" property, following it to the metadata, only to find it's zero-length?<br>
<br>
</span>I agree: no list at all is better.</blockquote></div><br><pre style="color:rgb(0,0,0)">r245796

Thanks!
- Dave</pre></div></div>