Bug#750163: postgresql-plproxy: Conflicting declarations of function plproxy_yy_scan_bytes to cause undefined behaviour

2014-12-27 Thread Peter Eisentraut
The flex documentation has Function: YY_BUFFER_STATE yy_scan_bytes ( const char *bytes, int len) which is what plproxy abides by. The actual flex implementation uses yy_size_t, which is really size_t. Reported upstream as https://sourceforge.net/p/flex/bugs/184/. Ideally, flex

Bug#750163: postgresql-plproxy: Conflicting declarations of function plproxy_yy_scan_bytes to cause undefined behaviour

2014-06-02 Thread Michael Tautschnig
Package: postgresql-plproxy Version: 2.5-4 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which