MonetDB: Jan2014 - Add hint for coverity.

Changeset: c4415225fa79 for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=c4415225fa79 Modified Files: tools/merovingian/daemon/merovingian.c Branch: Jan2014 Log Message: Add hint for coverity. diffs (11 lines): diff --git a/tools/merovingian/daemon/merovingian.c b/

MonetDB: Jan2014 - Add hint for coverity.

Changeset: 160eeb9fadd0 for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=160eeb9fadd0 Modified Files: sql/backends/monet5/vaults/vault.c Branch: Jan2014 Log Message: Add hint for coverity. diffs (11 lines): diff --git a/sql/backends/monet5/vaults/vault.c b/sql/back