编写语义补丁为无参函数声明添加void参数以消除-Wextra警告

核心思路 #

利用Coccinelle的语义分析能力，精准匹配函数声明/定义的签名结构，彻底避免误改函数调用语句。

正确的语义补丁（fix_void.cocci） #

@@
type T;
identifier f;
@@
-T f()
+T f(void)

补丁解释 #

• type T：匹配任意函数返回类型（如int、void、自定义结构体类型等）
• identifier f：匹配任意函数名称
• 仅针对函数声明/定义节点进行替换，完全不会触及fn();这类函数调用代码

执行命令 #

在代码根目录运行：

spatch --in-place --dir ./src fix_void.cocci

（./src替换为你的实际代码目录，--in-place表示直接修改源文件）

特殊场景适配 #

如果代码中有带属性的函数声明（如__attribute__((warn_unused_result)) int fn()），需要修改补丁适配属性：

@@
type T;
identifier f;
attribute A;
@@
-T A f()
+T A f(void)

验证方法 #

1. 执行补丁后重新编译，检查-Wextra编译选项下的警告数量是否归零
2. 随机抽查函数调用语句，确认未被误改为fn(void);

内容的提问来源于stack exchange，提问作者xormapmap