From 5f05d217ac2507c435ddf89834d95ff758a69860 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 18 Jan 2020 00:24:10 +0100
Subject: [PATCH] return immediately if ckt is NULL

---
 src/spicelib/analysis/cktdest.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/spicelib/analysis/cktdest.c b/src/spicelib/analysis/cktdest.c
index 006a7ea11..9d0d2c6fd 100644
--- a/src/spicelib/analysis/cktdest.c
+++ b/src/spicelib/analysis/cktdest.c
@@ -28,6 +28,9 @@ CKTdestroy(CKTcircuit *ckt)
     CKTnode *node;
     CKTnode *nnode;
 
+    if (!ckt)
+        return (E_NOTFOUND);
+
 
 #ifdef WANT_SENSE2
     if(ckt->CKTsenInfo){