12724 update smatch to 0.6.1-rc1-il-5

*** 454,463 ****
--- 454,466 ----
  {
          struct smatch_state *s;
          struct sm_state *result;
          static int warned;
  
+         if (one->state->data && !has_dynamic_states(one->owner))
+                 sm_msg("dynamic state: %s", show_sm(one));
+ 
          if (one == two)
                  return one;
          if (out_of_memory()) {
                  if (!warned)
                          sm_warning("Function too hairy.  No more merges.");