From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Sun, 16 Dec 2012 15:02:49 +0000 (+0300)
Subject: signed: remove some debug code
X-Git-Tag: 1.57~107
X-Git-Url: https://repo.or.cz/w/smatch.git/commitdiff_plain/dda0d6385e8e2c6a54229bd36ac31c694761f148

signed: remove some debug code

This was committed accidentally.  There are times where we can't know the
type.  That is expected.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---

diff --git a/check_signed.c b/check_signed.c
index 154e70a0..9b94d9d1 100644
--- a/check_signed.c
+++ b/check_signed.c
@@ -223,10 +223,6 @@ static void match_condition(struct expression *expr)
 		return;
 
 	type = get_type(expr);
-	if (!type) {
-		sm_msg("debug: could not get condition type");
-		return;
-	}
 
 	/* screw it.  I am writing this to mark yoda code as buggy.
 	 * Valid comparisons between an unsigned and zero are: