pgsql-bugs(at)postgresql(dot)org writes:
> The follow short sequence of SQL requests leads to server corrupt:
Looks like a bug to me too. I can still replicate the "NOTICE:
LockRelease: no such lock" in current sources, but it seems that
someone's already fixed the core dump; CVS tip does not crash.
Will look into it more...
regards, tom lane