analyze: add support for some unsupported casts#929

Merged

spernsteiner merged 17 commits intomasterfrom analyze-unsupported-casts

Jun 8, 2023

+200-19

Commits on Jun 6, 2023

analyze: rewrite::mir_op: ignore lifetime differences in cast pointee types
spernsteiner
committed
analyze: refactor rewrite::mir_op: move SliceFirst case into emit_cast_*
spernsteiner
committed
analyze: rewrite::mir_op: handle Slice -> Single casts with Ownership::Cell
spernsteiner
committed
analyze: rewrite::mir_op: trivially handle Slice -> OffsetPtr casts
spernsteiner
committed
analyze: rewrite::hir_op: try to find location for ExprKind::Call
spernsteiner
committed
analyze: rewrite::mir_op: handle Mut -> Cell casts using Cell::from_mut
spernsteiner
committed
analyze: rewrite::mir_op: add RewriteKind::CastRefToRaw and CastRawToRaw
spernsteiner
committed
analyze: rewrite::mir_op: add raw pointer cases to emit_cast_desc_desc
spernsteiner
committed
analyze: rewrite::mir_op: clean up emit_cast_desc_desc and add more cases
spernsteiner
committed
analyze: rewrite::mir_op: add unsafe raw-to-ref cast support
spernsteiner
committed

Commits on Jun 7, 2023