From 0772c152b9bd02baeca6920c3371fce95e8f13dc Mon Sep 17 00:00:00 2001
From: Tom Lane
Date: Mon, 27 Nov 2017 20:56:46 -0500
Subject: Mark some more functions as pg_attribute_noreturn().

Doing this suppresses Coverity warnings and might allow improved
code in some cases.  The prospects of that are not so bright as
to warrant back-patching, though.

Michael Paquier, per Coverity
---
 src/test/isolation/isolationtester.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/test/isolation')

diff --git a/src/test/isolation/isolationtester.c b/src/test/isolation/isolationtester.c
index ba8082c9803..4ecad038bdc 100644
--- a/src/test/isolation/isolationtester.c
+++ b/src/test/isolation/isolationtester.c
@@ -32,6 +32,7 @@ static int	nconns = 0;
 /* In dry run only output permutations to be run by the tester. */
 static int	dry_run = false;
 
+static void exit_nicely(void) pg_attribute_noreturn();
 static void run_testspec(TestSpec *testspec);
 static void run_all_permutations(TestSpec *testspec);
 static void run_all_permutations_recurse(TestSpec *testspec, int nsteps,
-- 
cgit v1.2.3