From 912a21cfa7254f6dffd868749dd4b2bfa4332782 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 20 Mar 2015 14:28:45 +0300 Subject: [PATCH] helper: don't strip casting in get_array_offset() Otherwise it was saying that: foo[(unsigned char)x] = ... could underflow. Signed-off-by: Dan Carpenter --- smatch_helper.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_helper.c b/smatch_helper.c index ebe4745d..91043277 100644 --- a/smatch_helper.c +++ b/smatch_helper.c @@ -427,7 +427,7 @@ struct expression *get_array_offset(struct expression *expr) expr = strip_expr(expr->unop); if (expr->type != EXPR_BINOP || expr->op != '+') return NULL; - return strip_expr(expr->right); + return strip_parens(expr->right); } const char *show_state(struct smatch_state *state) -- 2.11.4.GIT