Andrew wrote: >> No threads in gcc, please. > > Why? If this is only for double checking, why not? Sorry, I missed that boehm-gc already uses threads. Ignore me, I'm just a cranky old-school programmer... but still, if there's a way to implement the checker without using threads, that would surely be safer.