value flow: fixed fp in switch