Add support for inferring function-pointer targets that
originate from select instructions