GNU cflow
分析一组C源文件并打印一个图表,在程序中绘制控制流。
我的.c
或.cpp
文件
typedef struct _type_1{
int a;
} type_1_t;
typedef struct _type_2{
int a;
} type_2_t;
int main()
{
type_1_t t1;
type_2_t t2;
t1.a = 55;
t2.a = 99;
return 0;
}
命令为
cflow.exe test.c -i s -i x > test.graph 2>&1
,输出为:cflow.exe:test.c:7: a redefined
cflow.exe:test.c:2: this is the place of previous definition
main() <int main () at test.c:11>:
type_1_t <type_1_t at test.c:3>
t1
type_2_t <type_2_t at test.c:8>
t2
问题
为什么说“重新定义了”?
这只能是因为它无法识别
typedef struct
构造,所以我该如何修复它?更新
我用
cflow
再次运行--debug=1
,它给了我这个:test.c:3: type _type_1
test.c:3: a/-1 defined to int a
test.c:3: type_1_t/-1 defined to type_1_t
test.c:8: type _type_2
cflow.exe:test.c:7: a redefined
cflow.exe:test.c:2: this is the place of previous definition
main() <int main () at test.c:15>:
type_1_t <type_1_t at test.c:3>
t1
type_2_t <type_2_t at test.c:8>
t2
f1() <int f1 () at test.c:10>
test.c:8: a/-1 defined to int a
test.c:8: type_2_t/-1 defined to type_2_t
test.c:11: f1/0 defined to int f1 ()
test.c:16: main/0 defined to int main ()
正如我们所怀疑的:它并没有处理每一个结构。. . 作为一个结构,即在两个不同的结构中拥有完全相同的标识符的能力。
那么如何解决这个问题呢?我在给邮件列表发邮件。希望很快能收到回音。在那之前,我要玩syntactic classes看看我是否不能触发正确的行为。
如果我从邮件列表中得到回复,我会把我自己的答案寄出去。
最佳答案
这显然是cflow
中的一个错误。
我刚刚在我的系统(Ubuntu 17.04)上构建了cflow
版本1.3、1.4和1.5。版本1.3和1.4没有显示您描述的问题。版本1.5可以。
下面是一个简单的测试用例,它展示了这个问题:
$ cat c.c
typedef struct type1 { int a; } type1;
typedef struct type2 { int a; } type2;
$ cflow --version | head -n 1
cflow (GNU cflow) 1.5
$ cflow c.c
cflow:c.c:2: a redefined
cflow:c.c:1: this is the place of previous definition
$
(
typedef struct
和不同结构类型的独立名称空间已经成为C的特性大约30年了。cflow
不支持它们是不可能的,事实上早期的版本处理它们没有问题。)作为解决方法,使用
cflow
1.4。我还建议提交一个bug报告。看来这一次没有被报道。(OP现在已经reported it到[email protected]
邮件列表并收到acknowledgement)