From f971787472991562a3cefa00feeb3e3da3a26601 Mon Sep 17 00:00:00 2001
From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Tue, 3 Mar 2015 14:23:10 +0300
Subject: [PATCH] estate: add a NULL check in estates_equiv()

Gar... I don't remember why this matters but presumably it does.
---
 smatch_estate.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/smatch_estate.c b/smatch_estate.c
index 2a4eed13..035c239d 100644
--- a/smatch_estate.c
+++ b/smatch_estate.c
@@ -176,6 +176,8 @@ static int rlists_equiv(struct related_list *one, struct related_list *two)
 
 int estates_equiv(struct smatch_state *one, struct smatch_state *two)
 {
+	if (!one || !two)
+		return 0;
 	if (one == two)
 		return 1;
 	if (!rlists_equiv(estate_related(one), estate_related(two)))
-- 
2.11.4.GIT