Home
last modified time | relevance | path

Searched refs:valid_ptr_max (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_sval.c251 if (sval.value > valid_ptr_max - 1000 && in sval_is_a_max()
252 sval.value < valid_ptr_max + 1000) in sval_is_a_max()
795 if (sval_is_ptr(sval) && sval.value == valid_ptr_max) in sval_to_str()
H A Dsmatch_flow.c81 unsigned long valid_ptr_max = ULONG_MAX & ~(MTAG_OFFSET_MASK); variable
94 valid_ptr_max = sval_type_max(&ulong_ctype).value & ~(MTAG_OFFSET_MASK); in alloc_valid_ptr_rl()
95 valid_ptr_max_sval.value = valid_ptr_max; in alloc_valid_ptr_rl()
H A Dsmatch.h624 extern unsigned long valid_ptr_max;
H A Dsmatch_ranges.c488 ret = sval_type_val(type, valid_ptr_max); in parse_val()
H A Dsmatch_extra.c2550 rl_max(new).value == valid_ptr_max) in basically_the_same()