diff --git a/src/backend/rewrite/rewriteHandler.c b/src/backend/rewrite/rewriteHandler.c
index 26c9e348d5..1a84fe98ce 100644
--- a/src/backend/rewrite/rewriteHandler.c
+++ b/src/backend/rewrite/rewriteHandler.c
@@ -2961,6 +2961,13 @@ rewriteTargetView(Query *parsetree, Relation view)
 	{
 		Node	   *viewqual = (Node *) viewquery->jointree->quals;
 
+		/*
+		 * Even though we copied viewquery already at the top of this
+		 * function, we must duplicate the viewqual again here, because we may
+		 * need to use the quals again below for a WithCheckOption clause.
+		 */
+		viewqual = copyObject(viewqual);
+
 		ChangeVarNodes(viewqual, base_rt_index, new_rt_index, 0);
 
 		if (RelationIsSecurityView(view))