[asan] Better error message in coverage.