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

Question

当我尝试使用 ispin 验证模型时，我收到“long long long is too long for 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.* 文件）。