Home
last modified time | relevance | path

Searched defs:hard_max (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c209 sval_t hard_max = { .type = &int_ctype, }; in should_warn() local
267 sval_t hard_max = { .type = &int_ctype, }; in array_check() local
H A Dsmatch_extra.h32 unsigned int hard_max:1; member
H A Dsmatch_extra.c1524 sval_t dummy, hard_max; in handle_comparison() local