shithub: riscv

Info  •  Files  •  Log  •  Branches

libsat: setmalloctag, fix incorrect allocation size

--- a/sys/src/libsat/misc.c

+++ b/sys/src/libsat/misc.c

@@ -106,6 +106,7 @@

 	v = realloc(v, n);

 	if(v == nil)

 		saterror(s, "realloc: %r");

+	setmalloctag(v, getcallerpc(&s));

 	return v;

 }

--- a/sys/src/libsat/satsolve.c

+++ b/sys/src/libsat/satsolve.c

@@ -82,7 +82,7 @@

 {

 	satdebuginit(s);

 	satheapreset(s);

-	s->decbd = satrealloc(s, s->decbd, s->nvar * sizeof(int));

+	s->decbd = satrealloc(s, s->decbd, (s->nvar + 1) * sizeof(int));

 	s->decbd[0] = 0;

 	s->trail = satrealloc(s, s->trail, sizeof(int) * s->nvar);

 	s->fullrlits = satrealloc(s, s->fullrlits, sizeof(int) * s->nvar);