From 5053b30aae63ae3686a7c1b7468400884c3dad6c Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 8 Jan 2010 13:00:24 +0300 Subject: [PATCH] introduce: get_dinfo() Using this will be cleaner then the complicated casts all over. Signed-off-by: Dan Carpenter --- smatch_extra.c | 8 ++++++++ smatch_extra.h | 1 + 2 files changed, 9 insertions(+) diff --git a/smatch_extra.c b/smatch_extra.c index fe9d92a6..3d775249 100644 --- a/smatch_extra.c +++ b/smatch_extra.c @@ -99,6 +99,14 @@ struct smatch_state *alloc_extra_state_range_list(struct range_list *rl) return state; } +struct data_info *get_dinfo(struct smatch_state *state) +{ + if (!state) + return NULL; + return (struct data_info *)state->data; + +} + struct smatch_state *filter_range(struct smatch_state *orig, long long filter_min, long long filter_max) { diff --git a/smatch_extra.h b/smatch_extra.h index 97e9791d..ab892abf 100644 --- a/smatch_extra.h +++ b/smatch_extra.h @@ -44,6 +44,7 @@ void __extra_pre_loop_hook_after(struct sm_state *sm, /* also implemented in smatch_extra */ struct smatch_state *alloc_extra_state(int val); struct smatch_state *alloc_extra_state_range_list(struct range_list *rl); +struct data_info *get_dinfo(struct smatch_state *state); struct smatch_state *add_filter(struct smatch_state *orig, long long filter); struct smatch_state *extra_undefined(); -- 2.11.4.GIT