The SAVEPOINT documentation says that a new savepoint created with the
same name as an existing savepoint masks but does not destroy the old
savepoint, and rolling back to the savepoint will then make the old
savepoint available for RELEASE SAVEPOINT and ROLLBACK TO SAVEPOINT
calls. 8.3.5 and my 8.4devel (built a few days ago) don't follow this
behavior, as demonstrated with the attached script. Unless, of course,
I'm missing something.
- Josh / eggyknap