Don't use a red zone for code coverage if the user specified `-mno-red-zone'.