<div style="font-family: arial, helvetica, sans-serif; font-size: 10pt"><div dir="ltr">Fixed in r169328. I'll leave it to ASan folks to look at doing this on other platforms, and whether this can replace the hacks that try to force .o files to be loaded.</div>
</div>