PR middle-end/20263