Auto-fix: apply rustfmt/clippy fixes; add auto-commit and tests-rs coverage to workflow

Agent-Logs-Url: https://github.com/Cpp2Rust/cpp2rust/sessions/010475b0-f8f3-444a-95d3-f622fb2e4daa

Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>

Author: Copilot

.github/workflows/format.yml

@@ -6,11 +6,13 @@ jobs:
   format:
     runs-on: ubuntu-latest
     permissions:
-      contents: read
+      contents: write
 
     steps:
       - name: Checkout code
         uses: actions/checkout@v6
+        with:
+          ref: ${{ github.head_ref || github.ref_name }}
 
       - name: Setup LLVM 22
         uses: ZhongRuoyu/setup-llvm@v0
@@ -29,6 +31,27 @@ jobs:
           toolchain: nightly
           components: clippy, rustc-dev
 
+      - name: Apply C++ formatting fixes
+        run: find cpp2rust tests -name '*.cpp' -o -name '*.h' -o -name '*.c' | xargs clang-format -i
+
+      - name: Apply Rust lint fixes
+        run: |
+          cargo clippy --fix --allow-dirty --manifest-path rules/Cargo.toml --all-targets
+          cargo +nightly clippy --fix --allow-dirty --manifest-path rule-preprocessor/Cargo.toml --all-targets
+          cargo clippy --fix --allow-dirty --manifest-path libcc2rs/Cargo.toml --all-targets
+
+      - name: Apply Rust formatting fixes
+        run: |
+          cargo fmt --manifest-path rules/Cargo.toml
+          cargo fmt --manifest-path rule-preprocessor/Cargo.toml
+          cargo fmt --manifest-path libcc2rs/Cargo.toml
+          find tests -name '*.rs' -print0 | xargs -0 rustfmt
+
+      - name: Commit auto-fixes
+        uses: stefanzweifel/git-auto-commit-action@v5
+        with:
+          commit_message: "style: apply automatic formatting and lint fixes"
+
       - name: Check C++ formatting
         run: find cpp2rust tests -name '*.cpp' -o -name '*.h' -o -name '*.c' | xargs clang-format --dry-run --Werror
 
@@ -37,6 +60,7 @@ jobs:
           cargo fmt --manifest-path rules/Cargo.toml -- --check
           cargo fmt --manifest-path rule-preprocessor/Cargo.toml -- --check
           cargo fmt --manifest-path libcc2rs/Cargo.toml -- --check
+          find tests -name '*.rs' -print0 | xargs -0 rustfmt --check
 
       - name: Check Rust lints
         run: |

rules/build.rs

@@ -14,10 +14,11 @@ fn main() {
     // Collect all tgt_*.rs files
     let mut files = Vec::new();
     visit(&crate_root, &mut |p| {
-        if let Some(name) = p.file_name().and_then(|s| s.to_str()) {
-            if name.starts_with("tgt_") && name.ends_with(".rs") {
-                files.push(p.to_path_buf());
-            }
+        if let Some(name) = p.file_name().and_then(|s| s.to_str())
+            && name.starts_with("tgt_")
+            && name.ends_with(".rs")
+        {
+            files.push(p.to_path_buf());
         }
     });
     files.sort();
@@ -41,9 +42,7 @@ fn main() {
             .to_string_lossy()
             .replace('\\', "/")
             .trim_start_matches("./")
-            .replace('/', "_")
-            .replace('.', "_")
-            .replace('-', "_");
+            .replace(['/', '.', '-'], "_");
 
         if let Some(stripped) = module_name.strip_suffix("_rs") {
             module_name = stripped.to_string();

tests/unit/out/refcount/bit_cast.rs

@@ -3,8 +3,8 @@ extern crate libc;
 use libc::*;
 extern crate libcc2rs;
 use libcc2rs::{prepostfix::*, rc::*};
-use std::rc::{Rc, Weak};
 use std::cell::RefCell;
+use std::rc::{Rc, Weak};
 pub fn decay_cast(a1: Value<Pointer<u32>>) {}
 pub fn bit_cast(p: Value<Pointer<dyn std::any::Any>>) {}
 pub fn main() {

tests/unit/out/refcount/ub1.rs

@@ -1,7 +1,7 @@
 extern crate libcc2rs;
 use libcc2rs::{prepostfix::*, rc::*};
-use std::rc::{Rc, Weak};
 use std::cell::RefCell;
+use std::rc::{Rc, Weak};
 pub fn dangling() -> Reference<i32> {
     let x: Value<i32> = Rc::new(RefCell::new(1_i32));
     let p: Value<Pointer<i32>> = Rc::new(RefCell::new(x.as_pointer()));

tests/unit/out/refcount/ub10.rs

@@ -1,7 +1,7 @@
 extern crate libcc2rs;
 use libcc2rs::{prepostfix::*, rc::*};
-use std::rc::{Rc, Weak};
 use std::cell::RefCell;
+use std::rc::{Rc, Weak};
 pub fn main() {
     std::process::exit(*main_0().borrow() as i32);
 }

tests/unit/out/refcount/ub11.rs

@@ -1,7 +1,7 @@
 extern crate libcc2rs;
 use libcc2rs::{prepostfix::*, rc::*};
-use std::rc::{Rc, Weak};
 use std::cell::RefCell;
+use std::rc::{Rc, Weak};
 pub fn main() {
     std::process::exit(*main_0().borrow() as i32);
 }

tests/unit/out/refcount/ub12.rs

@@ -1,7 +1,7 @@
 extern crate libcc2rs;
 use libcc2rs::{prepostfix::*, rc::*};
-use std::rc::{Rc, Weak};
 use std::cell::RefCell;
+use std::rc::{Rc, Weak};
 pub fn escape(ptr: Value<Pointer<i32>>) {
     (*ptr.borrow()).delete();
 }

tests/unit/out/refcount/ub13.rs

@@ -1,7 +1,7 @@
 extern crate libcc2rs;
 use libcc2rs::{prepostfix::*, rc::*};
-use std::rc::{Rc, Weak};
 use std::cell::RefCell;
+use std::rc::{Rc, Weak};
 pub fn escape(p: Value<Pointer<i32>>) {
     (*p.borrow()).delete();
 }

tests/unit/out/refcount/ub14.rs

@@ -1,7 +1,7 @@
 extern crate libcc2rs;
 use libcc2rs::{prepostfix::*, rc::*};
-use std::rc::{Rc, Weak};
 use std::cell::RefCell;
+use std::rc::{Rc, Weak};
 pub fn main() {
     std::process::exit(*main_0().borrow() as i32);
 }

tests/unit/out/refcount/ub15.rs

@@ -1,7 +1,7 @@
 extern crate libcc2rs;
 use libcc2rs::{prepostfix::*, rc::*};
-use std::rc::{Rc, Weak};
 use std::cell::RefCell;
+use std::rc::{Rc, Weak};
 pub fn main() {
     std::process::exit(*main_0().borrow() as i32);
 }