По умолчанию на Lion "gcc" не является gcc.Это LLVM.И он не поддерживает генерацию тестовых данных покрытия.
Если вы запустите gcc-4.2 -fprofile-arcs -ftest-coverage a.c -o a
, вместо этого будет использоваться настоящий gcc, и он, вероятно, будет работать.