Add facilities to check that cc toolchain features for enhanced security aren't being disabled when they're declared as enabled on the top level rule.

Automated testing is limited to what we're able to catch with Starlark analysis tests, i.e. the cases where we fail through the transition can't be effectively modelled in that type of test without bringing down the entire test suite

Cherry-pick: d594354

Author: nglevin

apple/internal/BUILD

@@ -641,6 +641,9 @@ bzl_library(
     visibility = [
         "//apple/internal:__subpackages__",
     ],
+    deps = [
+        "@rules_cc//cc/common",
+    ],
 )
 
 bzl_library(

apple/internal/entitlements_support.bzl

@@ -200,6 +200,10 @@ def _process_entitlements(
         apple_mac_toolchain_info,
         apple_xplat_toolchain_info,
         bundle_id,
+        cc_configured_features_init,
+        cc_toolchain,
+        disabled_features,
+        enabled_features,
         entitlements_file,
         platform_prerequisites,
         product_type,
@@ -232,6 +236,11 @@ def _process_entitlements(
         apple_xplat_toolchain_info: The `struct` of tools from the shared Apple
             cross platform toolchain.
         bundle_id: The bundle identifier.
+        cc_configured_features_init: The function to initialize the feature configuration for a
+            given cc_toolchain.
+        cc_toolchain: A cc_toolchain as found from the rule context's toolchains.
+        disabled_features: The features requested to be disabled for the target.
+        enabled_features: The features requested for the target.
         entitlements_file: The `File` containing the unprocessed entitlements
             (or `None` if none were provided).
         platform_prerequisites: The platform prerequisites.
@@ -276,7 +285,19 @@ def _process_entitlements(
     if secure_features:
         if not apple_xplat_toolchain_info.build_settings.enable_wip_features:
             fail("secure_features are still a work in progress and not yet supported in the rules.")
+
+        # Calculate the effective set of Crosstool features for this target, as we do want to double
+        # check that the secure features are supported and enabled.
+        feature_configuration = cc_configured_features_init(
+            cc_toolchain = cc_toolchain,
+            requested_features = enabled_features,
+            unsupported_features = disabled_features,
+        )
+
+        # Retrieve the entitlements required by the requested secure features, if there are any.
         secure_features_entitlements = secure_features_support.entitlements_from_secure_features(
+            feature_configuration = feature_configuration,
+            rule_label = rule_label,
             secure_features = secure_features,
             xcode_version = platform_prerequisites.xcode_version_config.xcode_version(),
         )

apple/internal/ios_rules.bzl

@@ -180,6 +180,7 @@ def _ios_application_impl(ctx):
         shared_capabilities = ctx.attr.shared_capabilities,
     )
     bundle_verification_targets = [struct(target = ext) for ext in ctx.attr.extensions]
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     embeddable_targets = (
         ctx.attr.frameworks +
@@ -234,6 +235,10 @@ def _ios_application_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -575,6 +580,7 @@ def _ios_app_clip_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     bundle_verification_targets = [struct(target = ext) for ext in ctx.attr.extensions]
     embeddable_targets = (
@@ -625,6 +631,10 @@ def _ios_app_clip_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -1164,6 +1174,7 @@ def _ios_extension_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     features = features_support.compute_enabled_features(
         requested_features = ctx.features,
@@ -1209,6 +1220,10 @@ def _ios_extension_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -1910,6 +1925,7 @@ def _ios_imessage_application_impl(ctx):
         unsupported_features = ctx.disabled_features,
     )
     bundle_verification_targets = [struct(target = ctx.attr.extension)]
+    cc_toolchain = find_cpp_toolchain(ctx)
     embeddable_targets = [ctx.attr.extension]
     label = ctx.label
     platform_prerequisites = platform_support.platform_prerequisites(
@@ -1949,6 +1965,10 @@ def _ios_imessage_application_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -2116,6 +2136,7 @@ def _ios_imessage_extension_impl(ctx):
         shared_capabilities = ctx.attr.shared_capabilities,
     )
     executable_name = ctx.attr.executable_name
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     features = features_support.compute_enabled_features(
         requested_features = ctx.features,
@@ -2159,6 +2180,10 @@ def _ios_imessage_extension_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -2390,6 +2415,7 @@ def _ios_sticker_pack_extension_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     executable_name = ctx.attr.executable_name
     features = features_support.compute_enabled_features(
         requested_features = ctx.features,
@@ -2433,6 +2459,10 @@ def _ios_sticker_pack_extension_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,

apple/internal/macos_rules.bzl

@@ -188,6 +188,7 @@ def _macos_application_impl(ctx):
         shared_capabilities = ctx.attr.shared_capabilities,
     )
     bundle_verification_targets = [struct(target = ext) for ext in verification_targets]
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     executable_name = ctx.attr.executable_name
     features = features_support.compute_enabled_features(
@@ -232,6 +233,10 @@ def _macos_application_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -500,6 +505,7 @@ def _macos_bundle_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     executable_name = ctx.attr.executable_name
     features = features_support.compute_enabled_features(
@@ -544,6 +550,10 @@ def _macos_bundle_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -750,6 +760,7 @@ def _macos_extension_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     executable_name = ctx.attr.executable_name
     features = features_support.compute_enabled_features(
@@ -794,6 +805,10 @@ def _macos_extension_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -1035,6 +1050,7 @@ def _macos_quick_look_plugin_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     executable_name = ctx.attr.executable_name
     features = features_support.compute_enabled_features(
@@ -1078,6 +1094,10 @@ def _macos_quick_look_plugin_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -1287,6 +1307,7 @@ def _macos_kernel_extension_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     executable_name = ctx.attr.executable_name
     features = features_support.compute_enabled_features(
@@ -1327,6 +1348,10 @@ def _macos_kernel_extension_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -1545,6 +1570,7 @@ def _macos_spotlight_importer_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     executable_name = ctx.attr.executable_name
     features = features_support.compute_enabled_features(
@@ -1580,6 +1606,10 @@ def _macos_spotlight_importer_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,
@@ -1788,6 +1818,7 @@ def _macos_xpc_service_impl(ctx):
         suffix_default = ctx.attr._bundle_id_suffix_default,
         shared_capabilities = ctx.attr.shared_capabilities,
     )
+    cc_toolchain = find_cpp_toolchain(ctx)
     cc_toolchain_forwarder = ctx.split_attr._cc_toolchain_forwarder
     executable_name = ctx.attr.executable_name
     features = features_support.compute_enabled_features(
@@ -1823,6 +1854,10 @@ def _macos_xpc_service_impl(ctx):
         apple_mac_toolchain_info = apple_mac_toolchain_info,
         apple_xplat_toolchain_info = apple_xplat_toolchain_info,
         bundle_id = bundle_id,
+        cc_configured_features_init = features_support.make_cc_configured_features_init(ctx),
+        cc_toolchain = cc_toolchain,
+        disabled_features = ctx.disabled_features,
+        enabled_features = ctx.features,
         entitlements_file = ctx.file.entitlements,
         platform_prerequisites = platform_prerequisites,
         product_type = rule_descriptor.product_type,