正如其他人所评论的那样，C语法太复杂，如果没有严格意义上的专用解析器，就无法分析。然而，对于您的要求，它看起来有些欠/过检测可能是可以接受的（无害的），因为它不会导致缺陷的原始源代码只是插入注解。
下面是一个简单的代码，可以在有限的条件下在所需的位置插入注解：

#!/usr/bin/python

import regex

with open(filename) as f:
    s = f.read()
    m = regex.sub(r'\b(?:if|switch|for|while|until)\b(*SKIP)(*FAIL)|(([A-Za-z_]\w*\s*\((?:[^()]+|(?2))*\))\s*{)', r'\1\n/* my comment */', s)
    print(m)

字符串
【解释】

• regex是一个PyPi模块，具有额外的正则表达式功能。
• (?:if|switch|for|while|until)是保留名称，其语法类似于C函数（不包括）。
• \b(?:if|switch|for|while|until)\b(*SKIP)(*FAIL)丢弃这些匹配项。
• (([A-Za-z_]\w*\s*\((?:[^()]+|(?2))*\))\s*{)是一个递归正则表达式，它用平衡括号匹配C函数名。
  [编辑]

如果你确定宏名都是大写字母，你可以通过调整正则表达式来排除它们：

#!/usr/bin/python

import regex

with open(filename) as f:
    s = f.read()
    m = regex.sub(r'\b(?:if|switch|for|while|until|[A-Z_]+)\b(*SKIP)(*FAIL)|(([A-Za-z_]\w*\s*\((?:[^()]+|(?2))*\))\s*{)', r'\1\n/* my comment */', s)
    print(m)

型
输入示例：

static my_struct1* alloc_mem (my_struct2* a)
{ 
// function
}

some_function(foo) {
// function
}

if(MACRO(expa) && MACRO(expb)) {
// reserved word
}

TAILQ_FOREACH(entry, hent, next) {
// macro
}

while(true) {
// reserved word
}

型
输出量：

static my_struct1* alloc_mem (my_struct2* a)
{
/* my comment */
// function
}

some_function(foo) {
/* my comment */
// function
}

if(MACRO(expa) && MACRO(expb)) {
// reserved word
}

TAILQ_FOREACH(entry, hent, next) {
// macro
}

while(true) {
// reserved word
}

型
【解释】
匹配所有大写字母的正则表达式[A-Z_]+被追加到排除列表中，如下所示：

(?:if|switch|for|while|until|[A-Z_]+)

型