2 * smatch/check_db_info.c
4 * Copyright (C) 2010 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
11 #include "smatch_extra.h"
15 static void match_return(struct expression
*ret_value
)
17 struct smatch_state
*state
;
23 if (get_value(ret_value
, &val
)) {
24 sm_msg("info: return_value %lld", val
);
27 state
= get_state_expr(SMATCH_EXTRA
, ret_value
);
29 sm_msg("info: return_value unknown");
32 sm_msg("info: return_value %s", state
->name
);
35 void check_db_info(int id
)
40 add_hook(&match_return
, RETURN_HOOK
);