“long long long”对于gcc来说太长了？

Question

当我尝试使用ispin验证模型时，我得到的错误是“long long long对于gcc来说太长了”。我的gcc有问题吗？

Answer 1

显然，在你的Promela代码的某个地方你指定了一个'long long long'类型。以下是一个简单的C程序如何在这样的声明中行为不端：

ebg@ebg$ cat ~/foo.c
#include <stdio.h>

extern int
main (void)
{
  long long long x;

  printf ("%lld", x>>32);
}
ebg@ebg$ gcc -o foo ~/foo.c
/Users/ebg/foo.c: In function 'main':
/Users/ebg/foo.c:6: error: 'long long long' is too long for GCC

你的* .pml文件中应该明显错误地使用'long long long';但是，如果你在那里找不到它，那么请查看pan.c（或pan。*文件）。