12724 update smatch to 0.6.1-rc1-il-5

@@ -454,10 +454,13 @@
 {
         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.");