Hi Christopher, On Sat, Dec 02, 2017 at 10:24:11AM +0100, Christopher Faulet wrote: > Thanks for your detailed report. There is a bug in the sync-point, when the > same thread requests a synchronization many times. And, it is easier to > encountered this bug with only one thread. > > Could you check the attached patch ? It should fix the bug.
Interesting one. I've taken it because even if I don't know yet whether it fixes the Maxim's bug, at least it fixes one :-) Thanks, Willy