PR middle-end/23522