severity 748229 minor
thanks
Hi,
This is a fascinating report.
On Thu, May 15 2014, Michael Tautschnig wrote:
The function testerror (generated from yyerror) requires 2 arguments:
http://sources.debian.net/src/flex/2.5.39-5/tests/test-bison-yylloc/parser.y?hl=92#L92
Yet the call
Package: flex
Version: 2.5.39-5
Usertags: goto-cc
During an analysis of all packages using our research compiler tool-chain (using
tools from the cbmc package) the following error was found:
The function testerror (generated from yyerror) requires 2 arguments:
2 matches
Mail list logo