MonetDB: Oct2014 - Overwriting the pointer is ok.

[Sjoerd Mullender]

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