I wrote: > Still wondering if there's really no CHECK_FOR_INTERRUPT anywhere > else in this loop.
I did some experimentation using the test case Jakub presented to start with, and verified that that loop does respond promptly to control-C even in HEAD. So there are CFI(s) in the loop as I thought, and we don't need another. What we do need is some more work on nearby comments. I'll see about that and push it. regards, tom lane