On Tue, Sep 22, 2020 at 09:07:36AM +0200, Martin Liška wrote: > On 9/21/20 9:43 PM, Marek Polacek wrote: > > Ok for trunk? Tested by running timevar2.C a couple of dozen times. > > Thank you for the fix. It seems to me obvious, I would install it.
Ok, I've pushed the patch. Marek