From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Wed, 6 Feb 2013 18:23:40 +0000 (+0300)
Subject: buf_size: don't crash on invalid code
X-Git-Tag: 1.57~6
X-Git-Url: https://repo.or.cz/w/smatch.git/commitdiff_plain/3b0b0f7201dbb0bd5a1e9ad4d47bbb6a94fc7f67

buf_size: don't crash on invalid code

The code which triggers this can't compile, but I spent some time figuring
out why Smatch crashed so now I'm committing this change.

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

diff --git a/smatch_buf_size.c b/smatch_buf_size.c
index 8fa54165..cab2de20 100644
--- a/smatch_buf_size.c
+++ b/smatch_buf_size.c
@@ -211,7 +211,7 @@ static int get_real_array_size(struct expression *expr)
 
 static int get_size_from_initializer(struct expression *expr)
 {
-	if (expr->type != EXPR_SYMBOL || !expr->symbol->initializer)
+	if (expr->type != EXPR_SYMBOL || !expr->symbol || !expr->symbol->initializer)
 		return 0;
 	if (expr->symbol->initializer == expr) /* int a = a; */
 		return 0;