[DRE-maint] Bug#748197: Macro ARY2CMAT declares function with spurious fifth parameter

[Michael Tautschnig]

Package: ruby-opengl
Version: 0.60.1+dfsg2-3
Severity: wishlist
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 macro definition of ARY2CMAT introduces (when invoked) functions taking 5
arguments:

http://sources.debian.net/src/ruby-opengl/0.60.1%2Bdfsg2-2/ext/common/conv.h?hl=158,159#L157

Yet all calls to the generated functions only pass 4 arguments, running the risk
of stack underflow and thus undefined behaviour. Yet it seems that the fifth
argument is unused anyway (and its type is only implicitly declared as int),
thus likely the fix is to adjust the macro definition.

Best,
Michael

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 859 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-ruby-extras-maintainers/attachments/20140515/16ecd8f9/attachment.sig>