memleak discovered by ASSUME usage

[jakobkroeker]

origin: https://github.com/surface-smoothers/lipmanresolve/issues/358

this memleak hurts :

// ok: proc doNothing(){ return(1); } int foo; while(1) { foo = doNothing(); print(memory(0)); }

// memleak proc doNothing(){ return(1); } while(1) { ASSUME(0, doNothing() ); print(memory(0)); }

update:

fixed by Hans with commit Singular/Sources@84d88f7#diff-d41d8cd98f00b204e9800998ecf8427e

test is missing. test idea:

proc doNothing(){ return(1); } while(1) { ASSUME(0, doNothing() ); print(memory(0)); }

jakobkroeker jakobkroeker self-assigned this on Aug 8 jakobkroeker jakobkroeker added this to the Singular 4.1.0 milestone on Aug 8 jakobkroeker jakobkroeker added major bug pending labels on Aug 8 jakobkroeker jakobkroeker commented on Aug 22

remark: it turned out it was a bug in 'Eval'