value flow: fix fp when gotos are used