analyze: support rewriting field projections on nullable pointers#1096

Merged

spernsteiner merged 12 commits intomasterfrom analyze-rewrite-nullable-projections

Jul 22, 2024

+353-100

Commits on Jul 22, 2024

analyze: fix missing unlower entries for nullable projections
spernsteiner
committed
analyze: check address-of-local-field in non_null_rewrites test
spernsteiner
committed
analyze: rewrite: remove most special cases from materialize_adjustments
spernsteiner
committed
analyze: rewrite::convert: better assertion message on out-of-order rewrites
spernsteiner
committed
analyze: rewrite::mir_op: factor out nullable-pointer check
spernsteiner
committed
analyze: annotate rvalue types alongside mir locals
spernsteiner
committed
analyze: rewrite::expr: include mir rewrites in unlower_map debug output
spernsteiner
committed
analyze: rewrite::unlower: add MirOriginDesc::LoadFromTempForAdjustment(i)
spernsteiner
committed
analyze: rewrite::mir_op: wrap &e in Some(_) if result type is nullable
spernsteiner
committed
analyze: update non_null_rewrites test
spernsteiner
committed
analyze: rewrite::convert: apply LoadFromTempForAdjustment before adjust, not after
spernsteiner
committed
analyze: add test case for C null pointer projection special cases
spernsteiner
committed