Code

BIR#2702

Code

Merged

CohenArthur merged 16 commits intoRust-GCC:masterRust-GCC/gccrs:masterfrom jdupak:borrowck-initjdupak/gccrs:borrowck-initCopy head branch name to clipboardOct 26, 2023

+3,779-3

Commits

Commits on Oct 25, 2023

• borrowck: Add initial structure for borrowchecking

  Show description for 0b3d408
  jdupak

  committed
  0b3d408

  Copy full SHA for 0b3d408

• borrowck: Add CLI option for borrowck

  Show description for 193cb2e
  jdupak

  committed
  193cb2e

  Copy full SHA for 193cb2e

• borrowck: Execute only with CLI flag

  Show description for 9f20320
  jdupak

  committed
  9f20320

  Copy full SHA for 9f20320

• borrowck: Create Borrow-checker IR (BIR)

  Show description for d7bcc5e
  jdupak

  committed
  d7bcc5e

  Copy full SHA for d7bcc5e

• borrowck: Create BIR builders (visitors)

  Show description for 4656475
  jdupak

  committed
  4656475

  Copy full SHA for 4656475

• borrowck: BIR dump

  Show description for 13e67dd
  jdupak

  committed
  13e67dd

  Copy full SHA for 13e67dd

• borrowck: Dump: proper comma separation

  Show description for 42000a1
  jdupak

  committed
  42000a1

  Copy full SHA for 42000a1

• borrowck: Dump: simplify cfg

  Show description for c304940
  jdupak

  committed
  c304940

  Copy full SHA for c304940

• borrowck: Dump improve jumps

  Show description for d70becd
  jdupak

  committed
  d70becd

  Copy full SHA for d70becd

• borrowck: BIR: handle break

  Show description for f13ab05
  jdupak

  committed
  f13ab05

  Copy full SHA for f13ab05

• borrowck: Dump: handle infinite loops

  Show description for 917b6bd
  jdupak

  committed
  917b6bd

  Copy full SHA for 917b6bd

• borrowck: BIR continue

  Show description for fa9b72f
  jdupak

  committed
  fa9b72f

  Copy full SHA for fa9b72f

• borrowck: Make goto explicit.

  Show description for 4d6af23
  jdupak

  committed
  4d6af23

  Copy full SHA for 4d6af23

• borrowck: Docs

  Show description for a46aec1
  jdupak

  committed
  a46aec1

  Copy full SHA for a46aec1

• borrowck: Dev notes

  Show description for c29c900
  jdupak

  committed
  c29c900

  Copy full SHA for c29c900

• borrowck: Refactor and BIR improvements

  Show description for 0798bc5
  jdupak

  committed
  0798bc5

  Copy full SHA for 0798bc5