12724 update smatch to 0.6.1-rc1-il-5

*** 72,81 ****
--- 72,82 ----
              1015: "FUZZY_MAX",
              1016: "STR_LEN",
              1017: "ARRAY_LEN",
              1018: "CAPABLE",
              1019: "NS_CAPABLE",
+             1020: "CONTAINER",
              1022: "TYPE_LINK",
              1023: "UNTRACKED_PARAM",
              1024: "CULL_PATH",
              1025: "PARAM_SET",
              1026: "PARAM_USED",
*** 90,109 ****
              1035: "NOSPEC",
              1036: "NOSPEC_WB",
              1037: "STMT_CNT",
              1038: "TERMINATED",
              1039: "SLEEP",
!             1040: "NO_SLEEP_CNT",
              1041: "SMALLISH",
              1042: "FRESH_MTAG",
  
              8017: "USER_DATA",
              9017: "USER_DATA_SET",
              8018: "NO_OVERFLOW",
              8019: "NO_OVERFLOW_SIMPLE",
              8020: "LOCKED",
              8021: "UNLOCKED",
              8023: "ATOMIC_INC",
              8024: "ATOMIC_DEC",
  };
  
  def add_range(rl, min_val, max_val):
--- 91,114 ----
              1035: "NOSPEC",
              1036: "NOSPEC_WB",
              1037: "STMT_CNT",
              1038: "TERMINATED",
              1039: "SLEEP",
!             1040: "PREEMPT_CNT",
              1041: "SMALLISH",
              1042: "FRESH_MTAG",
  
              8017: "USER_DATA",
              9017: "USER_DATA_SET",
              8018: "NO_OVERFLOW",
              8019: "NO_OVERFLOW_SIMPLE",
              8020: "LOCKED",
              8021: "UNLOCKED",
+             9022: "HALF_LOCKED",
+             9023: "LOCK_RESTORED",
+             9024: "KNOWN_LOCKED",
+             9025: "KNOWN_UNLOCKED",
              8023: "ATOMIC_INC",
              8024: "ATOMIC_DEC",
  };
  
  def add_range(rl, min_val, max_val):