diff options
| author | Tom Lane | 2017-11-28 01:56:46 +0000 |
|---|---|---|
| committer | Tom Lane | 2017-11-28 01:56:46 +0000 |
| commit | 0772c152b9bd02baeca6920c3371fce95e8f13dc (patch) | |
| tree | b848b3e13a892ab2237130514ee290138cce0670 /src/test/isolation/isolationtester.c | |
| parent | cb03fa33aeaea4775b9f3437a2240de4ac9cb630 (diff) | |
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
Diffstat (limited to 'src/test/isolation/isolationtester.c')
| -rw-r--r-- | src/test/isolation/isolationtester.c | 1 |
1 files changed, 1 insertions, 0 deletions
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, |