vbpf / prevail / 17840422331

push

github

Replace has_type with may_have_type (#913)

* s/has_type/may_have_type/g
* accept coderabbit's fix: only zero-extend dst in 32bit operations when entails(number), not when maybe(number); !maybe(number) requires havoc(). (This assumes pointer arithmetic is not 32bit; otherwise we may accidentally havoc src on x=x-x)

---------
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

905 of 940 new or added lines in 2 files covered. (96.28%)

8609 of 9763 relevant lines covered (88.18%)

9050250.72 hits per line