Yonghong Song wrote: [...] > In verifier, we have > /* [R,W]x div 0 -> 0 */ > /* [R,W]x mod 0 -> [R,W]x */ > > What the value for > Rx_a sdiv Rx_b -> ? > where Rx_a = INT64_MIN and Rx_b = -1? > > Should we just do > INT64_MIN sdiv -1 -> -1 > or some other values? What happens for BPF_NEG INT64_MIN? Dave
