From ee531a000d66f2dc750e9d785a8fb53c486d4491 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Mon, 4 Jun 2012 11:51:33 +0300 Subject: [PATCH] flow: handle EXPR_OFFSETOF and EXPR_ALIGNOF Just let sparse core turn these into EXPR_VALUEs. Signed-off-by: Dan Carpenter --- smatch_flow.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/smatch_flow.c b/smatch_flow.c index 1a982ad2..91ed71ca 100644 --- a/smatch_flow.c +++ b/smatch_flow.c @@ -169,6 +169,10 @@ void __split_expr(struct expression *expr) case EXPR_SIZEOF: /* there isn't anything to pass a client from inside a sizeof() */ break; + case EXPR_OFFSETOF: + case EXPR_ALIGNOF: + evaluate_expression(expr); + break; case EXPR_CONDITIONAL: case EXPR_SELECT: if (known_condition_true(expr->conditional)) { -- 2.11.4.GIT