PR middle-end/81005