PR middle-end/19331