Check for ctx.configuration.coverage_enabled instead of ctx.coverage_instrumented() in cc_helper.
PiperOrigin-RevId: 510485407
Change-Id: I5733d1a311798c0e5a0453fb165dc70e529ee596
diff --git a/src/main/starlark/builtins_bzl/common/cc/cc_helper.bzl b/src/main/starlark/builtins_bzl/common/cc/cc_helper.bzl
index 6d87aa0..b3e017f 100644
--- a/src/main/starlark/builtins_bzl/common/cc/cc_helper.bzl
+++ b/src/main/starlark/builtins_bzl/common/cc/cc_helper.bzl
@@ -1120,7 +1120,7 @@
coverage_environment = {}
if ctx.configuration.coverage_enabled:
coverage_environment = _get_coverage_environment(ctx, cc_config, cc_toolchain)
- coverage_support_files = cc_toolchain.coverage_files() if ctx.coverage_instrumented() else depset([])
+ coverage_support_files = cc_toolchain.coverage_files() if ctx.configuration.coverage_enabled else depset([])
info = coverage_common.instrumented_files_info(
ctx = ctx,
source_attributes = ["srcs", "hdrs"],
