usr/src/tools/smatch/src/smatch_flow.c

81

unsigned long valid_ptr_max = ULONG_MAX & ~(MTAG_OFFSET_MASK);

usr/src/tools/smatch/src/smatch_flow.c

88

{.value = ULONG_MAX & ~(MTAG_OFFSET_MASK)},

usr/src/tools/smatch/src/smatch_flow.c

94

valid_ptr_max = sval_type_max(&ulong_ctype).value & ~(MTAG_OFFSET_MASK);

usr/src/tools/smatch/src/smatch_mtag.c

323

*tag = sval.uvalue & ~MTAG_OFFSET_MASK;

usr/src/tools/smatch/src/smatch_mtag.c

324

*offset = sval.uvalue & MTAG_OFFSET_MASK;

usr/src/tools/smatch/src/smatch_mtag.c

447

if (offset >= MTAG_OFFSET_MASK)

usr/src/tools/smatch/src/smatch_mtag.c

63

*tag &= ~MTAG_OFFSET_MASK;

usr/src/tools/smatch/src/smatch_mtag_data.c

323

if (offset >= MTAG_OFFSET_MASK)

usr/src/tools/smatch/src/smatch_mtag_map.c

49

right_tag = sval.uvalue & ~MTAG_OFFSET_MASK;

usr/src/tools/smatch/src/smatch_mtag_map.c

50

right_offset = sval.uvalue & MTAG_OFFSET_MASK;

usr/src/tools/smatch/src/smatch_mtag_map.c

53

left_offset >= MTAG_OFFSET_MASK)

usr/src/tools/smatch/src/smatch_param_to_mtag_data.c

160

arg_offset < MTAG_OFFSET_MASK)