Re: After ~Crash Sequence not correct

I have verified that killing the postmaster after a few nextval's
leaves things in a bad state after restart.

I think I see the problem: in nextval(), the sequence data written to
the WAL log is different from that written to the data page. Isn't
that bogus?

To WAL:
seq->last_value = next;
seq->is_called = true;
seq->log_cnt = 0;

To disk:
seq->last_value = last; /* last fetched number */
seq->is_called = true;
seq->log_cnt = log; /* how much is logged */

(also, "log" has been changed between these two points)

regards, tom lane