Summary: Missing check for not empty worklist when puting memory node back on worklist and expecting address type update.
Reviewed-by: never