Changeset: da186fecb9d2 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/da186fecb9d2
Modified Files:
gdk/gdk_bbp.c
gdk/gdk_select.c
Branch: Oct2020
Log Message:
Add some asserts.
diffs (29 lines):
diff --git a/gdk/gdk_bbp.c b/gdk/gdk_bbp.c
--- a/gdk/gdk_bbp.c
+++ b/gdk/gdk_bbp.c
@@ -2403,7 +2403,12 @@ decref(bat i, bool logical, bool release
if (lock)
MT_lock_set(&GDKswapLock(i));
if (releaseShare) {
- --BBP_desc(i)->batSharecnt;
+ if (BBP_desc(i)->batSharecnt == 0) {
+ GDKerror("%s: %s does not have any shares.\n", func,
BBPname(i));
+ assert(0);
+ } else {
+ --BBP_desc(i)->batSharecnt;
+ }
if (lock)
MT_lock_unset(&GDKswapLock(i));
return refs;
diff --git a/gdk/gdk_select.c b/gdk/gdk_select.c
--- a/gdk/gdk_select.c
+++ b/gdk/gdk_select.c
@@ -36,6 +36,8 @@ virtualize(BAT *bn)
(((bn->ttype == TYPE_void && !is_oid_nil(bn->tseqbase)) ||
bn->ttype == TYPE_oid) &&
bn->tkey && bn->tsorted));
+ assert(BBP_refs(bn->batCacheid) == 1);
+ assert(BBP_lrefs(bn->batCacheid) == 0);
/* since bn has unique and strictly ascending values, we can
* easily check whether the column is dense */
if (bn && bn->ttype == TYPE_oid &&
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
