发电机.访问ubuntu16.04.3中pycparser显示错误输出的原因分析

Question

我使用pycparser和pycparserex编写了以下程序：

from pycparser import parse_file,c_parser, c_ast, c_generator
from pycparserext.ext_c_parser import GnuCParser


content="int main() { int x = 1; int y = 0; while (y < 1000 && __VERIFIER_nondet_int()) { x = x + y; y = y + 1; } __VERIFIER_assert(x >= y); return 0;}"

text = r""" """+content
parser = GnuCParser()
ast = parser.parse(text)
generator = c_generator.CGenerator()
print str(generator.visit(ast))

当我在Mac中运行代码时，它会返回正确的输出。但是，当我在Ubuntu 16.04.3中运行相同的代码时，它会返回以下错误的输出（即缺少“main（）”）：

int{
  int x = 1;
  int y = 0;
  while ((y < 1000) && __VERIFIER_nondet_int())
  {
    x = x + y;
    y = y + 1;
  }

  __VERIFIER_assert(x >= y);
  return 0;
}

是什么导致输出不正确？你知道吗

Answer 1

这可能是pycparserext的问题。使用从Github新克隆的vanilla pycparser，我得到（从pycparser主目录运行）：

$ cat /tmp/2.c
int main() { int x = 1; int y = 0; while (y < 1000 && __VERIFIER_nondet_int()) { x = x + y; y = y + 1; } __VERIFIER_assert(x >= y); return 0;}

$ PYTHONPATH=. python examples/c-to-c.py /tmp/2.c
int main()
{
  int x = 1;
  int y = 0;
  while ((y < 1000) && __VERIFIER_nondet_int())
  {
    x = x + y;
    y = y + 1;
  }

  __VERIFIER_assert(x >= y);
  return 0;
}

所以我建议你打开一个issue for pycparserext