Lines Matching defs:max

132 static int truncates_nicely(struct symbol *type, sval_t min, sval_t max)  in truncates_nicely()
147 static void add_range_t(struct symbol *type, struct range_list **rl, sval_t min, sval_t max) in add_range_t()
353 sval_t min, max; in filter_by_comparison() local
536 sval_t prev_min, min, max; in str_to_rl_helper() local
773 sval_t min, max; in rl_to_sval() local
793 static struct data_range *alloc_range_helper_sval(sval_t min, sval_t max, int perm) in alloc_range_helper_sval()
806 struct data_range *alloc_range(sval_t min, sval_t max) in alloc_range()
811 struct data_range *alloc_range_perm(sval_t min, sval_t max) in alloc_range_perm()
816 struct range_list *alloc_rl(sval_t min, sval_t max) in alloc_rl()
837 static bool collapse_pointer_rl(struct range_list **rl, sval_t min, sval_t max) in collapse_pointer_rl()
887 void add_range(struct range_list **list, sval_t min, sval_t max) in add_range()
1048 struct range_list *remove_range(struct range_list *list, sval_t min, sval_t max) in remove_range()
1413 sval_t min, max; in rl_truncate_cast() local
1470 sval_t max = { .type = &bool_ctype }; in cast_to_bool() local
1612 sval_t max; in handle_mod_rl() local
1684 sval_t min, max; in divide_rl_helper() local
1757 sval_t min, max; in handle_add_mult_rl() local
1777 sval_t min, max; in handle_sub_rl() local
1845 sval_t min, max; in handle_OR_rl() local
1868 sval_t zero, max; in handle_XOR_rl() local
1901 sval_t min, max, zero; in handle_AND_rl() local
1927 sval_t shift, min, max; in handle_lshift() local
1971 sval_t shift, min, max; in handle_rshift() local
2069 sval_t min, max; in split_comparison_rl() local