analyze: misc fixes for simple_buffer#1148

Merged

spernsteiner merged 11 commits intomasterfrom analyze-simple-buffer-fixes

Nov 26, 2024

+260-43

Commits on Nov 26, 2024

analyze: borrowck: pre-assign origins to cast target types
spernsteiner
committed
analyze: rewrite: use RewriteKind::Ref instead of implicit &mut in RewriteKind::DynOwnedTake
spernsteiner
committed
analyze: mir_op: fix handling of DynOwnedTake on nullable ptrs
spernsteiner
committed
analyze: rewrite::apply: fix precedence of MethodCall
spernsteiner
committed
analyze: rewrite: add mir_op::RewriteKind::Deref
spernsteiner
committed
analyze: rewrite: use RewriteKind::Deref and implicit &mut in RewriteKind::DynOwnedTake
spernsteiner
committed
analyze: mir_op: use as_ref/as_mut + Deref for dyn_owned option downgrades
spernsteiner
committed
analyze: add tests/filecheck/rewrite_nullable_box.rs
spernsteiner
committed
analyze: mir_op: trace! reasons for not rewriting malloc/calloc
spernsteiner
committed
analyze: rewrite: handle realloc(NULL, ...)
spernsteiner
committed
analyze: mir_op: support nullable pointers in ZeroizeType
spernsteiner
committed