PR middle-end/67401