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();