Changeset: 993b4c7780d7 for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=993b4c7780d7 Modified Files: gdk/gdk_heap.c Branch: Oct2014 Log Message:
Overwriting the pointer is ok. diffs (11 lines): diff --git a/gdk/gdk_heap.c b/gdk/gdk_heap.c --- a/gdk/gdk_heap.c +++ b/gdk/gdk_heap.c @@ -268,6 +268,7 @@ HEAPextend(Heap *h, size_t size, int may HEAPfree(&bak); return 0; } + /* coverity[assigned_pointer] */ failure = "h->storage == STORE_MEM && can_map && !h->base"; } fd = GDKfdlocate(h->farmid, nme, "wb", ext); _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list