<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Jul 23, 2019, at 18:46, Philip Reames <<a href="mailto:listmail@philipreames.com" class="">listmail@philipreames.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252" class="">
<div text="#000000" bgcolor="#FFFFFF" class=""><p class="">Thank you for reducing this. This turned out not to be the issue
I speculated about, even though the bailout caught both cases. I
submitted an actual fix in 366829 along with a further reduced
version of your test case.</p><div class=""><br class=""></div></div></div></blockquote><br class=""></div><div><br class=""></div><div>I am glad it helped!</div><div><br class=""></div><div>Florian</div><br class=""></body></html>