GCOV: do not support unexecuted blocks in Ada