SQLSTATE / CLASS 3B · SAVEPOINT EXCEPTION

3B000

savepoint_exception

SQLSTATE: 3B000
Condition name: savepoint_exception
Class: Savepoint Exception
Source macro: ERRCODE_SAVEPOINT_EXCEPTION
Evidence: Definition only

Analysis & operational context

English SQLSTATE atlas: authored explanations and source/runtime evidence are separate from the manual definitions. View source ↗

<h1>3B000 — savepoint_exception</h1>

At a glance

3B000 is the savepoint-exception class definition. The fixed core call scan resolves the more specific 3B001 missing-savepoint path rather than a separate generic 3B000 throw site. Use the concrete server SQLSTATE when diagnosing a savepoint failure; this entry does not invent a class-level RAISE case.

Meaning

3B000 is the Class 3B savepoint exception condition. The fixed scan resolves the concrete missing-savepoint code 3B001, but no separate generic core throw site for the class code. A savepoint name that cannot be found should therefore be diagnosed as the concrete 3B001 path when the server provides it.

Diagnosis

Record the requested savepoint name, whether an explicit transaction exists, and whether the marker was released or belongs to another nested level. Check the server's concrete SQLSTATE before using the class label: ROLLBACK TO SAVEPOINT outside a transaction is 25P01, while a missing marker in an explicit block is represented by 3B001 in the selected sources. This page has no natural runtime case of its own.

Response

Use the concrete error to choose the boundary: begin a transaction before creating a savepoint, or roll back the failed explicit block before establishing a new marker. Do not invent a class-level 3B000 retry or use CASCADE; keep 3B000 as the definition boundary and follow the 3B001 source-backed path for a missing name.

Versions

The locked facts table records catalogue presence across the project snapshot range. The fixed source evidence is limited to the path stated below; no exact behavioral introduction or broader runtime coverage is inferred from the definition alone.

Sources

src.errcodes.18.6 (SHA-256 6e8de346643ba84aa3c9c6a73360acfc7b2dfb89162c06c08ce9bf5bcd5bbcba)
src.calls.REL_18_6 fixed call scan (SHA-256 9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf)

Source evidence

Evidence belongs to the frozen source and runtime versions listed here. It is not a runtime verification of the selected manual version.

3B000 is the savepoint_exception condition in Class 3B.

Method: Read the fixed errcodes.txt row and macro mapping.

Limits: This records the protocol definition and does not imply a natural PostgreSQL throw path.

src.errcodes.18.6

No distinct safe natural core runtime case for 3B000 was selected from the fixed call scan.

Method: Review the fixed call scan for resolved 3B000 call groups and reject artificial RAISE or relabeling.

Limits: This is a bounded source/definition result, not proof that every extension or injected fault cannot emit the code.

src.calls.REL_18_6

src/backend/utils/errcodes.txt · REL_18_6 ·
724edf9bde9d356724ad384a2e196edc3c9f80f7
raw/calls/REL_18_6.jsonl · ·

Message templates

No extracted message template is attached to this condition.

Reproduction & repair cases

savepoint_exception_boundary · PG 10, 18

Preconditions

A runner-owned disposable target is provisioned.

Trigger: No generic 3B000 trigger is executed; the specific invalid-savepoint path is covered by 3B001.

Expected assertions

Repair: Use the specific savepoint condition and transaction boundary supplied by the server; do not manufacture a class-level RAISE.

Cleanup: Drop the case schema with an owner connection.

Recorded runtime evidence

No runtime observation is attached to this entry.

Definition snapshot: english-manuals:301f117bfb39fa3fa94a429188d… · English manual source