summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2017-05-15 17:59:58 +0000
committerPeter Eisentraut2017-05-15 17:59:58 +0000
commitb1ff33fd9bb82937f4719f264972e6a3c83cdb89 (patch)
treecaed79554717cd3cea0ceed479faec8f25b3d635
parent82d24bab75d4f85ae7a6d89f149d29fbb2ccbc70 (diff)
Add assertion to quiet Coverity
-rw-r--r--src/backend/commands/subscriptioncmds.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/backend/commands/subscriptioncmds.c b/src/backend/commands/subscriptioncmds.c
index 21ef15fa0fa..304ac842a55 100644
--- a/src/backend/commands/subscriptioncmds.c
+++ b/src/backend/commands/subscriptioncmds.c
@@ -69,6 +69,9 @@ parse_subscription_options(List *options, bool *connect, bool *enabled_given,
bool create_slot_given = false;
bool copy_data_given = false;
+ /* If connect is specified, the others also need to be. */
+ Assert(!connect || (enabled && create_slot && copy_data));
+
if (connect)
*connect = true;
if (enabled)