solver context takes address of a local
Just noticed this one - taking address of local which is de-referenced later.
@sbna I am not sure why this hasn't crashed before.
Just noticed this one - taking address of local which is de-referenced later.
@sbna I am not sure why this hasn't crashed before.