UBSAN errors, need inspection

[mgondan]

swipl-devel/src/pl-prims.c

Line 142 in 1ff2859

if ( !pushSegStack(&LD->cycle.vstack, p, Word) )

If I add an assertion,

set_marked(p);
assert(LD->cycle.vstack.top);
if ( !pushSegStack(&LD->cycle.vstack, p, Word) )
outOfCore();

the build fails.

Same here

swipl-devel/src/pl-prims.c

Line 172 in 1ff2859

while( popSegStack(&LD->cycle.vstack, &p, Word) )

[mgondan]

Also in pl-segstack.c, assert(stack->top) right before line 72
And in pl-rec.c, assert(LD->cycle.lstack.top), line 617

[mgondan]

I think that this has now been solved.

#1289 (comment)