Home
last modified time | relevance | path

Searched refs:smin_value (Results 1 – 2 of 2) sorted by relevance

/Linux-v4.19/kernel/bpf/
Dverifier.c327 if (reg->smin_value != reg->umin_value && in print_verifier_state()
328 reg->smin_value != S64_MIN) in print_verifier_state()
330 (long long)reg->smin_value); in print_verifier_state()
558 reg->smin_value = (s64)imm; in __mark_reg_known()
621 reg->smin_value = max_t(s64, reg->smin_value, in __update_reg_bounds()
639 if (reg->smin_value >= 0 || reg->smax_value < 0) { in __reg_deduce_bounds()
640 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg_deduce_bounds()
653 reg->smin_value = reg->umin_value; in __reg_deduce_bounds()
660 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg_deduce_bounds()
677 reg->smin_value = S64_MIN; in __mark_reg_unbounded()
[all …]
/Linux-v4.19/include/linux/
Dbpf_verifier.h75 s64 smin_value; /* minimum possible (s64)value */ member