Code

Rust: Unreachable code query#17525

Code

Merged

geoffw0 merged 18 commits intogithub:maingithub/codeql:mainfrom geoffw0:unreachablegeoffw0/ql:unreachableCopy head branch name to clipboardOct 10, 2024

+314-2

Commits

Commits on Sep 19, 2024

• Rust: Add placeholder query + test for unreachable code query.

  geoffw0

  committed
  35378aa

  Copy full SHA for 35378aa

• Rust: Add qhelp + examples for unreachable code query.

  geoffw0

  committed
  e7e0c6b

  Copy full SHA for e7e0c6b

• Rust: Implement unreachable code query.

  geoffw0

  committed
  1eaa998

  Copy full SHA for 1eaa998

Commits on Sep 20, 2024

• Merge branch 'main' into unreachable

  geoffw0

  committed
  58b9355

  Copy full SHA for 58b9355

• Rust: Merge of unusedvar and unreachable work.

  geoffw0

  committed
  3e0d30f

  Copy full SHA for 3e0d30f

Commits on Sep 27, 2024

• Merge branch 'main' into unreachable

  aibaars

  authored
  7c6239b

  Copy full SHA for 7c6239b

Commits on Oct 8, 2024

• Rust: A couple of interesting cases with short-circuiting.

  geoffw0

  committed
  f084bb7

  Copy full SHA for f084bb7

• Merge branch 'main' into unreachable

  geoffw0

  committed
  483370d

  Copy full SHA for 483370d

• Rust: Accept test changes after merging main.

  geoffw0

  committed
  9e3f4cd

  Copy full SHA for 9e3f4cd

• Rust: More cleanup after merge.

  geoffw0

  committed
  40096eb

  Copy full SHA for 40096eb

• Rust: Add example from discussion.

  geoffw0

  committed
  5d7a92c

  Copy full SHA for 5d7a92c

• Rust: Switch firstUnreachable to hvitved's suggested implementation.

  geoffw0

  committed
  6bde26d

  Copy full SHA for 6bde26d

• Rust: Autoformat.

  geoffw0

  committed
  3b1d917

  Copy full SHA for 3b1d917

• Rust: Fix test compilation errors.

  geoffw0

  committed
  7235ba8

  Copy full SHA for 7235ba8

• Rust: Add parenthesis example to test.

  geoffw0

  committed
  a7dbe29

  Copy full SHA for a7dbe29

• Rust: Exclude nodes that aren't part of the CFG.

  geoffw0

  committed
  70d530a

  Copy full SHA for 70d530a

Commits on Oct 9, 2024

• Rust: Restrict 'unreachable' to nodes intended to be part of the CFG.

  geoffw0

  committed
  f171eeb

  Copy full SHA for f171eeb

• Merge branch 'main' into unreachable

  geoffw0

  committed
  719cef8

  Copy full SHA for 719cef8