[compiler-rt] [llvm] [CI] check libc freestanding in compiler-rt (PR #217972)

[Aiden Grossman via llvm-commits]

================
@@ -52,3 +52,62 @@ jobs:
             --build build \
             --parallel \
             --target check-builtins
+
+  # Build the libc-backed builtins against only the extracted shared subset, so
+  # the build fails if they ever reach into the rest of libc.
+  isolation:
+    name: builtins isolation (subset-only build)
+    if: github.repository_owner == 'llvm'
+    runs-on: ubuntu-24.04
+    container:
+      image: ghcr.io/llvm/libc-ubuntu-24.04
+
+    steps:
+      - uses: actions/checkout at de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
+        with:
+          persist-credentials: false
+
+      - name: Manifest matches the live header closure
+        shell: bash
+        run: |
+          d="compiler-rt/lib/builtins/libc-isolation"
+          if ! diff -u \
+              <(grep -v '^#' "$d/libc-shared-manifest.txt") \
+              <(CXX=clang++-23 bash "$d/libc-shared-closure.sh"); then
+            echo "::error::libc-shared-manifest.txt is stale. Regenerate it with:"
+            echo "  CXX=clang++-23 $d/regen-manifest.sh"
+            exit 1
+          fi
+
+      - name: Extract the shared subset
+        run: |
+          d="compiler-rt/lib/builtins/libc-isolation"
----------------
boomanaiden154 wrote:

A more descriptive variable name might be nice.

https://github.com/llvm/llvm-project/pull/217972