(`c2rust-analyze`) Add more (still incomplete) dataflow constraints for ptr casts#947

Open

kkysen wants to merge 3 commits intomasterfrom kkysen/analyze-ptr-casts-dataflow

+81-2

Commits on Jun 9, 2023

(c2rust-analyze) Add the simple dataflow constraints for CastKind::Misc (still incomplete).
kkysen
committed
(c2rust-analyze) Add complete dataflow constraints for CastKind::Pointer (previously incomplete).
kkysen
committed

Commits on Jun 12, 2023

(c2rust-analyze) Fix cast_fn_item_to_fn_ptr test to correctly create a PointerCast::ReifyFnPointer.
kkysen
committed