ludo@gnu.org (Ludovic Courtès) writes: > How can gcov be told to flush its coverage data to disk when the program > is killed? If you can catch the signal, call __gcov_flush(). If you can't catch the signal, you're out of luck. Well, I suppose you could have the program call __gcov_flush every so often. Ian