Code

analyze: add pointee_type analysis#1029

Code

Merged

spernsteiner merged 7 commits intomasterimmunant/c2rust:masterfrom analyze-pointee-typeimmunant/c2rust:analyze-pointee-typeCopy head branch name to clipboardOct 13, 2023

+895-13

Commits

Commits on Oct 13, 2023

• analyze: add pointee_type analysis

  spernsteiner

  committed
  329f003

  Copy full SHA for 329f003

• analyze: remove some pointee constraint debug prints from main

  spernsteiner

  committed
  7d03bbc

  Copy full SHA for 7d03bbc

• analyze: refactor remaining pointee debug prints

  spernsteiner

  committed
  2cc27da

  Copy full SHA for 2cc27da

• analyze: tweak doc comment on pointee_type Constraint::Subset

  spernsteiner

  committed
  763e88f

  Copy full SHA for 763e88f

• analyze: improve some TODO comments in pointee_type::type_check

  spernsteiner

  committed
  5f1a2a1

  Copy full SHA for 5f1a2a1

• analyze: add comment on the current state of pointee_type unification

  spernsteiner

  committed
  faeed96

  Copy full SHA for faeed96

• analyze: clean up warnings

  spernsteiner

  committed
  21a5712

  Copy full SHA for 21a5712