PR middle-end/13127