[GSoC'19] How to test lock-free code?

[김규래]

Hi,
Currently, gcc (specifically libgomp) contains some amount of lock-free code.
Does gcc test for the correctness of the lock-free sections?
Or is it tested just as any other code?
 
Ray Kim