修复C++标准库选项误报并核对Clang标准别名

Author: loong10k

crates/codeguard-adapters/src/c_family_compilation_entry.rs

@@ -41,14 +41,28 @@ impl CFamilyCompilationEntry {
         }
         let standards: Vec<_> = args
             .iter()
-            .filter(|a| a.starts_with("-std") || a.starts_with("--std"))
+            .filter(|a| {
+                matches!(a.as_str(), "-std" | "--std")
+                    || a.starts_with("-std=")
+                    || a.starts_with("--std=")
+            })
             .collect();
         if standards.len() > 1 {
             return Some("compilation_database_standard_ambiguous");
         }
         match standards.first().map(|a| a.as_str()) {
             None => Some("compilation_database_standard_missing"),
-            Some("-std=c11" | "-std=c++17") => None,
+            Some("-std=c11" | "-std=c++17" | "--std=c11" | "--std=c++17") => None,
+            Some("--std") => {
+                let index = args
+                    .iter()
+                    .position(|a| a == "--std")
+                    .expect("已匹配原参数");
+                match args.get(index + 1).map(String::as_str) {
+                    Some("c11" | "c++17") => None,
+                    _ => Some("compilation_database_standard_unsupported"),
+                }
+            }
             Some(_) => Some("compilation_database_standard_unsupported"),
         }
     }
@@ -144,6 +158,22 @@ mod tests {
         assert_eq!(entries[0].execution_context_blocker(), None);
     }
 
+    #[test]
+    fn standard_library_selection_is_not_a_language_standard_conflict() {
+        for arguments in [
+            vec!["clang++", "-std=c++17", "-stdlib=libc++", "file.cpp"],
+            vec!["clang++", "--std=c++17", "file.cpp"],
+            vec!["clang++", "--std", "c++17", "file.cpp"],
+            vec!["clang++", "-stdlib=libstdc++", "-std=c++17", "file.cpp"],
+        ] {
+            let input =
+                serde_json::json!([{"directory":"/build","file":"file.cpp","arguments":arguments}]);
+            let entries =
+                parse_c_family_compilation_database(&serde_json::to_vec(&input).unwrap()).unwrap();
+            assert_eq!(entries[0].execution_context_blocker(), None);
+        }
+    }
+
     #[test]
     fn malformed_or_command_only_entries_never_become_clean_scope() {
         for bytes in [

crates/codeguard-cli/tests/init_command_contract.rs

@@ -1742,3 +1742,29 @@ fn init_exposes_compilation_argument_blockers_without_running_compiler() {
         assert!(!project.0.join(".codeguard").exists());
     }
 }
+
+#[test]
+fn init_does_not_confuse_standard_library_or_native_standard_aliases() {
+    let project = Project::new();
+    for arguments in [
+        vec!["clang++", "-std=c++17", "-stdlib=libc++", "main.cpp"],
+        vec!["clang++", "--std=c++17", "main.cpp"],
+        vec!["clang++", "--std", "c++17", "main.cpp"],
+    ] {
+        fs::write(project.0.join("compile_commands.json"), serde_json::to_vec(&serde_json::json!([{"directory":"/build","file":"main.cpp","arguments":arguments}])).unwrap()).unwrap();
+        let (exit, report) = project.run(&["--format=json"]);
+        assert_eq!(exit, 0);
+        let checker = report["profile_summary"]["checkers"]
+            .as_array()
+            .unwrap()
+            .iter()
+            .find(|c| c["checker_id"] == "c_family.compilation_database")
+            .unwrap();
+        assert_eq!(
+            checker["reason"],
+            "compilation_database_arguments_observed_execution_context_unverified"
+        );
+        assert_eq!(checker["configuration"], "unknown");
+        assert_eq!(checker["execution"], "not_run");
+    }
+}

tests/acceptance/c-family-compilation-database-init.md

@@ -6,8 +6,10 @@
 
 公开init只读模式不创建工作区，配置状态unknown、execution为not_run；apply退出3保持partial，把稳定数据库SHA256写入project.json，输入文件不改动，不运行command字符串。command-only数据库阻塞观察完整性。数据库宏变化与删除更新画像，保留用户任务文字；不把参数观察视为标准确认、头文件解析或完整项目覆盖。
 
-当前测试源码SHA256：`d336dde9bd839e755b0c25dfdfe8eda1a97f99fd31aa1de38b80c511238150c1`。
+当前测试源码SHA256：`03679b171d8ef19322d4be8f45c040381a9ae93dc95cb1135117c0524c57c6fb`。
 
 本轮使用CLI临时项目，没有运行原生编译器、clang-tidy或真实安装宿主，不授予生产资格。当前46 partial、26 wasm_candidate_only、292 not_integrated为公开计划中的364条路径；旧52 partial记录为纠正前历史检查点。
 
 新增上下文诊断：响应文件、前端透传、插件、重复标准、缺标准、不支持标准6类参数反例通过。适配器3项测试通过；当前公开CLI定向4项默认/WASM各通过（WASM 2.00秒），严格Clippy通过。配置可读不等于执行上下文可用；未命中已知阻塞也不授权运行。
+
+低误报修复：合法-stdlib选择曾被-std前缀匹配误识别为重复标准，新增测试先复现失败后修正。Apple Clang21实际stdin核验-std=c++17、--std=c++17、--std c++17均接受，-std c++17拒绝；仅接纳核对过的选项形式。适配器4项通过，默认初始化47项通过（2.47秒），WASM新增合法反例1项通过（1.82秒）。不扩大语言版本或项目执行资格。