diff --git a/iscsi-scst/kernel/iscsi.c b/iscsi-scst/kernel/iscsi.c
index 95f2f1c02..f3df4c17b 100644
--- a/iscsi-scst/kernel/iscsi.c
+++ b/iscsi-scst/kernel/iscsi.c
@@ -454,6 +454,14 @@ void cmnd_done(struct iscsi_cmnd *cmnd)
 		/* Order between above and below code is important! */
 
 		if ((cmnd->scst_cmd != NULL) || (cmnd->scst_aen != NULL)) {
+			/*
+			 * Tell Coverity when cmnd->scst_cmd or scst_aen is set.
+			 */
+			if (cmnd->scst_state == ISCSI_CMD_STATE_AEN)
+				EXTRACHECKS_BUG_ON(!cmnd->scst_aen);
+			else
+				EXTRACHECKS_BUG_ON(!cmnd->scst_cmd);
+
 			switch (cmnd->scst_state) {
 			case ISCSI_CMD_STATE_PROCESSED:
 				TRACE_DBG("cmd %p PROCESSED", cmnd);