Print this page
12724 update smatch to 0.6.1-rc1-il-5

@@ -72,10 +72,11 @@
             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,20 +91,24 @@
             1035: "NOSPEC",
             1036: "NOSPEC_WB",
             1037: "STMT_CNT",
             1038: "TERMINATED",
             1039: "SLEEP",
-            1040: "NO_SLEEP_CNT",
+            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):