Re: Take skip header out of a loop in COPY FROM

On 22/08/2019 12:54, Adam Lee wrote:
> My next thought is to call unlikely() here, but we don't have it...
> https://www.postgresql.org/message-id/CABRT9RC-AUuQL6txxsoOkLxjK1iTpyexpbizRF4Zxny1GXASGg%40mail.gmail.com

We do, actually, since commit aa3ca5e3dd in v10.

Not sure it's worth the trouble here. Optimizing COPY in general would 
be good, even small speedups there are helpful because everyone uses 
COPY, but without some evidence I don't believe particular branch is 
even measurable.

- Heikki