On 2/15/23 18:11, Tom Tromey wrote: >>>>>> "Simon" == Simon Marchi <simon.marchi@polymtl.ca> writes: > > Simon> Starting with this commit, I see this when building (with ASan enabled): > > Oops, sorry about that. This patch should fix it. Let me know what you > think. > > Tom It works for me, thanks! Simon