Print this page
11972 resync smatch

*** 20,29 **** --- 20,30 ---- #include "smatch_extra.h" void show_sname_alloc(void); void show_data_range_alloc(void); void show_ptrlist_alloc(void); + void show_rl_ptrlist_alloc(void); void show_sm_state_alloc(void); int local_debug; static int my_id; char *trace_variable;
*** 202,218 **** static void match_user_rl(const char *fn, struct expression *expr, void *info) { struct expression *arg; struct range_list *rl = NULL; char *name; arg = get_argument_from_call_expr(expr->args, 0); name = expr_to_str(arg); get_user_rl(arg, &rl); ! sm_msg("user rl: '%s' = '%s'", name, show_rl(rl)); free_string(name); } static void match_capped(const char *fn, struct expression *expr, void *info) --- 203,222 ---- static void match_user_rl(const char *fn, struct expression *expr, void *info) { struct expression *arg; struct range_list *rl = NULL; + bool capped = false; char *name; arg = get_argument_from_call_expr(expr->args, 0); name = expr_to_str(arg); get_user_rl(arg, &rl); ! if (rl) ! capped = user_rl_capped(arg); ! sm_msg("user rl: '%s' = '%s'%s", name, show_rl(rl), capped ? " (capped)" : ""); free_string(name); } static void match_capped(const char *fn, struct expression *expr, void *info)
*** 685,694 **** --- 689,700 ---- } static void match_mem(const char *fn, struct expression *expr, void *info) { show_sname_alloc(); + show_data_range_alloc(); + show_rl_ptrlist_alloc(); show_ptrlist_alloc(); sm_msg("%lu pools", get_pool_count()); sm_msg("%d strees", unfree_stree); show_smatch_state_alloc(); show_sm_state_alloc();