cybertec-postgresql / pgcov / 24453437184

47%

push

github

fix(instrument): emit coverage signal after statement execution

Move the injected pg_notify() call from before the tracked statement to
after it so that coverage reflects successful execution rather than
attempted execution. Previously, if a statement raised an exception
caught by the caller, the signal had already been sent — recording false
coverage.

Terminal statements (RETURN, RAISE EXCEPTION, bare RAISE) keep the
signal before the statement because they exit the current scope and
any code placed after them would be unreachable. Non-fatal RAISE levels
(NOTICE, WARNING, INFO, LOG, DEBUG) are correctly identified as
non-terminal and receive after-execute signals.

Add isTerminalSegment() helper that inspects the first meaningful token
of a segment to distinguish terminal from non-terminal statements.

Add tests: TestIsTerminalSegment (17 cases),
TestInstrumentBody_CoverageAfterExecute
(verifies ordering for assignments vs RETURN),
TestInstrumentBody_RaiseExceptionBeforeNotify
(verifies RAISE EXCEPTION vs RAISE NOTICE ordering).

55 of 58 new or added lines in 1 file covered. (94.83%)

993 of 2504 relevant lines covered (39.66%)

0.44 hits per line