Bug#748229: Missing parameter to cause stack underflow

2014-05-17 Thread Manoj Srivastava
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

Bug#748229: Missing parameter to cause stack underflow

2014-05-15 Thread Michael Tautschnig
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: