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