Add a testase for PR gas/12589.