diff options
author | Tom Lane <tgl@sss.pgh.pa.us> | 2017-11-27 20:56:46 -0500 |
---|---|---|
committer | Tom Lane <tgl@sss.pgh.pa.us> | 2017-11-27 20:56:46 -0500 |
commit | 0772c152b9bd02baeca6920c3371fce95e8f13dc (patch) | |
tree | b848b3e13a892ab2237130514ee290138cce0670 /src/include/executor/execParallel.h | |
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/include/executor/execParallel.h')
0 files changed, 0 insertions, 0 deletions