Merge branch 'Rust-GCC:master' into 4140

Author: Villosse

.editorconfig

@@ -0,0 +1,142 @@
+# Copyright 2025 Free Software Foundation, Inc.
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# This file helps editors auto-configure whitespace settings.
+#
+# See here for more information about the format and editor support:
+#
+#   https://editorconfig.org/
+
+# This file is common to the GCC and GDB/Binutils projects.  If you
+# update one, please sync it with the other.
+
+# top-most EditorConfig file
+root = true
+
+[*]
+end_of_line = lf
+insert_final_newline = true
+tab_width = 8
+
+# EditorConfig files
+[.editorconfig]
+charset = utf-8
+trim_trailing_whitespace = true
+
+# Makefile
+[{Makefile,*.mk,*.am}*]
+indent_style = tab
+indent_size = 8
+trim_trailing_whitespace = true
+
+# ChangeLogs
+[ChangeLog*]
+indent_style = tab
+indent_size = 8
+trim_trailing_whitespace = true
+charset = utf-8
+
+# C/C++
+[*.{c,h,cc}]
+charset = utf-8
+indent_style = tab
+indent_size = 2
+trim_trailing_whitespace = true
+
+# GCC .def files.  These are generally C fragments that get included
+# one or more times
+[gcc/**.def]
+charset = utf-8
+indent_style = tab
+indent_size = 2
+trim_trailing_whitespace = true
+
+# Texinfo files
+[*.texi]
+charset = utf-8
+indent_size = 2
+trim_trailing_whitespace = true
+
+# Expect / TCL
+[*.{exp,tcl}]
+indent_style = tab
+indent_size = 4
+trim_trailing_whitespace = true
+
+# Python
+[*.py]
+indent_style = space
+indent_size = 4
+trim_trailing_whitespace = true
+
+# Assembler
+[*.{s,S,asm}]
+indent_style = tab
+indent_size = 8
+trim_trailing_whitespace = true
+
+# GCC Machine description files
+[gcc/config/**.md]
+indent_style = tab
+indent_size = 2
+trim_trailing_whitespace = true
+
+# Awk
+[*.awk]
+indent_style = tab
+indent_size = 2
+trim_trailing_whitespace = true
+
+# Autoconf
+[*.{ac,m4}]
+indent_style = tab
+indent_size = 2
+trim_trailing_whitespace = true
+
+# Shell scripts
+[*.sh]
+indent_style = tab
+indent_size = 4
+trim_trailing_whitespace = true
+
+# Ada
+[*.ad[bs]]
+indent_style = space
+indent_size = 3
+trim_trailing_whitespace = true
+
+# D
+[*.d]
+indent_style = space
+indent_size = 4
+trim_trailing_whitespace = true
+
+# Go
+[*.go]
+indent_style = tab
+indent_size = 8
+trim_trailing_whitespace = true
+
+# Fortran
+[*.[Ff]90]
+indent_style = space
+indent_size = 2
+trim_trailing_whitespace = true
+
+# Cobol
+[*.cbl]
+indent_style = space
+indent_size = 2
+trim_trailing_whitespace = true

.forgejo/workflows/sanity-checks.yaml

@@ -0,0 +1,49 @@
+on:
+  pull_request:
+    types: [opened, synchronize, reopened]
+
+jobs:
+  testjob:
+    runs-on: sourceware-runner
+    outputs:
+      styleoutput: ${{ steps.check_gnu_style.outputs.styleresult }}
+      verifyoutput: ${{ steps.gcc_verify.outputs.verifyresult }}
+    steps:
+      - name: install dependencies
+        run: |
+          echo "Installing node.js"
+          apt-get update
+          apt-get install -qq -y nodejs git python3 python3-git python3-termcolor python3-unidiff
+
+      # Checkout GCC sources, request an history depth of 100,
+      # hopefully sufficient for all patch series (the default is 1)
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 100
+
+      - name: check GNU style
+        id: check_gnu_style
+        continue-on-error: true
+        run: |
+          echo "Running check_GNU_style.py"
+          git fetch origin ${FORGEJO_BASE_REF}:${FORGEJO_BASE_REF}
+          for sha in $(git rev-list ${FORGEJO_BASE_REF}..${FORGEJO_SHA})
+          do
+            echo "Checking GNU style for $sha"
+            git show $sha | ./contrib/check_GNU_style.py -
+          done
+          echo "styleresult=pass" | tee -a $FORGEJO_OUTPUT
+
+      - name: gcc-verify
+        id: gcc_verify
+        continue-on-error: true
+        run: |
+          echo "Running gcc-verify check"
+          ./contrib/gcc-changelog/git_check_commit.py ${FORGEJO_BASE_REF}..${FORGEJO_SHA}
+          echo "verifyresult=pass" | tee -a $FORGEJO_OUTPUT
+
+      - name: final-result
+        run: |
+          echo "Computing final result"
+          test "${{ steps.check_gnu_style.outputs.styleresult }}" = "pass"
+          test "${{ steps.gcc_verify.outputs.verifyresult }}" = "pass"

.github/workflows/ccpp.yml

@@ -392,7 +392,7 @@ jobs:
           git fetch arm-ian;
           GIT_AUTHOR_NAME=CI \
           GIT_AUTHOR_EMAIL='ci@invalid' \
-          git merge --no-edit e110b7b04a6df1275330455aa886a6e283d06e48;
+          git merge --no-edit 5335688e426583c2f4703e25cc24c69cf74280ed;
 
     - name: Install Deps
       run: |

.github/workflows/send-emails.yml

@@ -1,15 +1,12 @@
 name: Send emails for merged PR
 
 on:
-  pull_request:
-    types:
-      - closed
+  push:
     branches:
       - "master"
 
 jobs:
   send_patches:
-    if: github.event.pull_request.merged == true
     runs-on: ubuntu-latest
 
     steps:
@@ -46,38 +43,43 @@ jobs:
         run: |
           echo "$GH_EVENT" > /tmp/gh_event.json
 
-          PR_BASE_REF=$(jq -r '.pull_request.base.sha' /tmp/gh_event.json)
-          echo "PR_BASE_REF=$PR_BASE_REF" >> $GITHUB_ENV
+          BEFORE_REF=$(jq -r '.before' /tmp/gh_event.json)
+          echo "BEFORE_REF=$BEFORE_REF" >> $GITHUB_ENV
 
-          PR_NUMBER=$(jq -r '.pull_request.number' /tmp/gh_event.json)
-          echo "PR_NUMBER=$PR_NUMBER" >> $GITHUB_ENV
+          AFTER_REF=$(jq -r '.after' /tmp/gh_event.json)
+          echo "AFTER_REF=$AFTER_REF" >> $GITHUB_ENV
 
-          PR_TITLE=$(jq -r '.pull_request.title' /tmp/gh_event.json)
-          echo "PR_TITLE=$PR_TITLE" >> $GITHUB_ENV
+          # PR_NUMBER=$(jq -r '.pull_request.number' /tmp/gh_event.json)
+          # echo "PR_NUMBER=$PR_NUMBER" >> $GITHUB_ENV
 
-          PR_URL=$(jq -r '.pull_request.html_url' /tmp/gh_event.json)
-          echo "PR_URL=$PR_URL" >> $GITHUB_ENV
+          # PR_TITLE=$(jq -r '.pull_request.title' /tmp/gh_event.json)
+          # echo "PR_TITLE=$PR_TITLE" >> $GITHUB_ENV
 
-          PR_MERGE_COMMIT=$(jq -r '.pull_request.merge_commit_sha' /tmp/gh_event.json)
-          echo "PR_MERGE_COMMIT=$PR_MERGE_COMMIT" >> $GITHUB_ENV
+          # PR_URL=$(jq -r '.pull_request.html_url' /tmp/gh_event.json)
+          # echo "PR_URL=$PR_URL" >> $GITHUB_ENV
 
-          PR_TARGET_BRANCH=$(jq -r '.pull_request.base.ref' /tmp/gh_event.json)
-          echo "PR_TARGET_BRANCH=$PR_TARGET_BRANCH" >> $GITHUB_ENV
+          # PR_MERGE_COMMIT=$(jq -r '.pull_request.merge_commit_sha' /tmp/gh_event.json)
+          # echo "PR_MERGE_COMMIT=$PR_MERGE_COMMIT" >> $GITHUB_ENV
 
-          PR_LABELS=$(jq -r '[.pull_request.labels[].name] | join(",")' /tmp/gh_event.json)
-          echo "PR_LABELS=$PR_LABELS" >> $GITHUB_ENV
+          # PR_TARGET_BRANCH=$(jq -r '.pull_request.base.ref' /tmp/gh_event.json)
+          # echo "PR_TARGET_BRANCH=$PR_TARGET_BRANCH" >> $GITHUB_ENV
 
-          REPO_SSH=$(jq -r '.repository.ssh_url' /tmp/gh_event.json)
-          echo "REPO_SSH=$REPO_SSH" >> $GITHUB_ENV
+          # PR_LABELS=$(jq -r '[.pull_request.labels[].name] | join(",")' /tmp/gh_event.json)
+          # echo "PR_LABELS=$PR_LABELS" >> $GITHUB_ENV
+
+          # REPO_SSH=$(jq -r '.repository.ssh_url' /tmp/gh_event.json)
+          # echo "REPO_SSH=$REPO_SSH" >> $GITHUB_ENV
 
           echo "GH_TOKEN=${{ github.token }}" >> $GITHUB_ENV
 
-          echo "SERIES_DIR=/tmp/series" >> $GITHUB_ENV
+          # echo "SERIES_DIR=/tmp/series" >> $GITHUB_ENV
 
-      - name: Get commit list from PR and skip the internal ones
+      - name: Get commit list and skip the internal ones
         id: commits
         env:
           MAX_NUM_COMMITS: 30
+          BEFORE_REF: ${{ github.event.before }}
+          AFTER_REF: ${{ github.event.after }}
         run: |
           # Skip commits that touches any of these
           patterns=(".github/"
@@ -93,17 +95,44 @@ jobs:
 
           rm -f /tmp/commits.txt
 
+          if [ "$BEFORE_REF" = "0000000000000000000000000000000000000000" ] ; then
+             echo "New branch created, not sending anything" | tee $GITHUB_STEP_SUMMARY
+             echo "has_commits=false" >> $GITHUB_OUTPUT
+             exit 0
+          fi
+
+          if [ "$AFTER_REF" = "0000000000000000000000000000000000000000" ] ; then
+             echo "Branch is being deleted, not sending anything" | tee $GITHUB_STEP_SUMMARY
+             echo "has_commits=false" >> $GITHUB_OUTPUT
+             exit 0
+          fi
+
+          if git merge-base --is-ancestor "$BEFORE_REF" "$AFTER_REF"; then
+            echo "fast-forward push (not forced)"
+          else
+            echo "non-fast-forward push (force push or history rewrite), not sending anything" | tee $GITHUB_STEP_SUMMARY
+            echo "has_commits=false" >> $GITHUB_OUTPUT
+            exit 0
+          fi
+
+          IS_MERGE=$(git show --pretty=%P -s HEAD | wc -w)
+          if [ "$IS_MERGE" -gt 1 ] ; then
+             echo "Last commit is a merge, don't send anything" | tee $GITHUB_STEP_SUMMARY
+             echo "has_commits=false" >> $GITHUB_OUTPUT
+             exit 0
+          fi
+
           # Fetch commits from the pull request (maybe they're from another repository)
-          git fetch origin "pull/$PR_NUMBER/head"
+          #git fetch origin "pull/$PR_NUMBER/head"
 
-          TOTAL=$(gh api repos/$GITHUB_REPOSITORY/pulls/$PR_NUMBER/commits --paginate --jq '.[].sha'|wc -l)
+          TOTAL=$(git log --oneline "$BEFORE_REF..$AFTER_REF" | wc -l)
           if [ "${TOTAL}" -gt "$MAX_NUM_COMMITS" ]; then
-             echo "Pull request has too many commits"
+             echo "Push has too many commits" | tee $GITHUB_STEP_SUMMARY
              echo "has_commits=false" >> $GITHUB_OUTPUT
              exit 0
           fi
 
-          gh api repos/$GITHUB_REPOSITORY/pulls/$PR_NUMBER/commits --paginate --jq '.[].sha' | while read SHA1; do
+          git log --reverse --format=%H "$BEFORE_REF..$AFTER_REF" | while read SHA1; do
              echo "Looking at $SHA1"
              if grep -q -E "$regex" <(git diff-tree --no-commit-id --name-only -r "$SHA1"); then
                 echo "Touching something not to be upstreamed, skipping commit $SHA1"
@@ -127,14 +156,18 @@ jobs:
       - name: Check for label 'no-ml' to skip sending emails
         id: checklabel
         run: |
+          # not sure how to do that with "push".
+          echo "skip=false" >> $GITHUB_OUTPUT
+          exit 0
+
           # Skip if PR has label "no-ml"
-          if echo "$PR_LABELS" | grep -qiE "(^|,)no-ml(,|$)"; then
-            echo "Opt-out label present: skipping mailing list." | tee $GITHUB_STEP_SUMMARY
-            echo "skip=true" >> $GITHUB_OUTPUT
-          else
-            echo "No opt-out label found"
-            echo "skip=false" >> $GITHUB_OUTPUT
-          fi
+          # if echo "$PR_LABELS" | grep -qiE "(^|,)no-ml(,|$)"; then
+          #   echo "Opt-out label present: skipping mailing list." | tee $GITHUB_STEP_SUMMARY
+          #   echo "skip=true" >> $GITHUB_OUTPUT
+          # else
+          #   echo "No opt-out label found"
+          #   echo "skip=false" >> $GITHUB_OUTPUT
+          # fi
 
       - name: Decide if we're sending something or not
         id: send_emails
@@ -149,13 +182,12 @@ jobs:
           set -euo pipefail
 
           # Create a temporary branch that linearizes the PR commits
-          git checkout -B ci-mail-patches "$PR_BASE_REF"
+          git checkout -B ci-mail-patches "$BEFORE_REF"
           # Cherry-pick commits in the exact PR order (no-commit to batch, then commit)
           while read sha; do
             git cherry-pick "$sha"
           done < /tmp/commits.txt
 
-
           echo "This change was merged into the gccrs repository and is posted here for" >> /tmp/description.txt
           echo "upstream visibility and potential drive-by review, as requested by GCC" >>  /tmp/description.txt
           echo "release managers." >> /tmp/description.txt
@@ -169,9 +201,9 @@ jobs:
           git format-patch \
               --subject-prefix="gccrs COMMIT" \
               --no-cover-letter \
-              --base="$PR_BASE_REF" \
+              --base="$BEFORE_REF" \
               --output-directory /tmp/series \
-              "$PR_BASE_REF"..HEAD
+              "$BEFORE_REF"..HEAD
 
           echo "" >> /tmp/description.txt