new smatch

@@ -20,10 +20,11 @@
 #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,17 +203,20 @@
 
 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);
-        sm_msg("user rl: '%s' = '%s'", name, show_rl(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,10 +689,12 @@
 }
 
 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();