Code

analyze: implement Box<T> rewrites#1106

Code

Merged

spernsteiner merged 20 commits intomasterimmunant/c2rust:masterfrom analyze-rewrite-boximmunant/c2rust:analyze-rewrite-boxCopy head branch name to clipboardOct 24, 2024

+786-127

Commits

Commits on Oct 24, 2024

• analyze: refactor: change mir_op::RewriteKind::MutToImm to Reborrow

  spernsteiner

  committed
  894e8b0

  Copy full SHA for 894e8b0

• analyze: dataflow: add FREE/OFFSET special case to avoid impossible casts

  spernsteiner

  committed
  3dd9d5f

  Copy full SHA for 3dd9d5f

• analyze: rewrite: initial ty and expr rewrites for FREE/Box<T>

  spernsteiner

  committed
  3df3a0e

  Copy full SHA for 3df3a0e

• analyze: replace realloc1 test with one that can be made safe

  spernsteiner

  committed
  701ae00

  Copy full SHA for 701ae00

• analyze: initial DynOwned rewrites

  spernsteiner

  committed
  8e86c79

  Copy full SHA for 8e86c79

• analyze: mir_op: refactor visit_place to distinguish Imm/Mut/Move contexts

  spernsteiner

  committed
  780b22e

  Copy full SHA for 780b22e

• analyze: mir_op: insert take() call on moves of DynOwned

  spernsteiner

  committed
  433e64e

  Copy full SHA for 433e64e

• analyze: rename ZeroizeType::Iterable to Array

  spernsteiner

  committed
  1688386

  Copy full SHA for 1688386

• analyze: add struct name to ZeroizeType::Struct

  spernsteiner

  committed
  92e01c9

  Copy full SHA for 92e01c9

• analyze: implement malloc -> Box::new rewrite

  spernsteiner

  committed
  6b9904b

  Copy full SHA for 6b9904b

• analyze: mir_op: factor out "emit cast with adjusted TypeDesc"

  spernsteiner

  committed
  e2d8f91

  Copy full SHA for e2d8f91

• analyze: implement free -> drop rewrite

  spernsteiner

  committed
  82cc01b

  Copy full SHA for 82cc01b

• analyze: pointee: ensure free arg has a pointee type

  spernsteiner

  committed
  82efb11

  Copy full SHA for 82efb11

• analyze: mir_op: enforce Ownership::Box in malloc/free casts

  spernsteiner

  committed
  6c23f5b

  Copy full SHA for 6c23f5b

• analyze: implement realloc rewrite

  spernsteiner

  committed
  4f9b021

  Copy full SHA for 4f9b021

• analyze: fix tests/filecheck/alloc.rs realloc1 example

  spernsteiner

  committed
  9b33750

  Copy full SHA for 9b33750

• analyze: improve alloc test case

  spernsteiner

  committed
  e4c4771

  Copy full SHA for e4c4771

• analyze: rewrite::ty: use std::boxed::Box instead of alloc::boxed::Box

  Show description for 61e7876
  spernsteiner

  committed
  61e7876

  Copy full SHA for 61e7876

• analyze: implement calloc rewrite

  spernsteiner

  committed
  8b1b38b

  Copy full SHA for 8b1b38b

• analyze: add comment about using Result<_, ()> for DynOwned

  spernsteiner

  committed
  95d4038

  Copy full SHA for 95d4038