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):