12724 update smatch to 0.6.1-rc1-il-5

*** 827,837 ****
                  if (distribution[i])
                          fprintf(stderr, "%2d: %d buckets\n", i, distribution[i]);
          }
  }
  
! static struct ident *alloc_ident(const char *name, int len)
  {
          struct ident *ident = __alloc_ident(len);
          ident->symbols = NULL;
          ident->len = len;
          ident->tainted = 0;
--- 827,837 ----
                  if (distribution[i])
                          fprintf(stderr, "%2d: %d buckets\n", i, distribution[i]);
          }
  }
  
! struct ident *alloc_ident(const char *name, int len)
  {
          struct ident *ident = __alloc_ident(len);
          ident->symbols = NULL;
          ident->len = len;
          ident->tainted = 0;