Commits

Breadcrumbs

History for

on2458fa0

User selector

All users

All time

Commit History

Commits on May 11, 2023

• Merge pull request #12971 from MathiasVP/fix-fp-in-invalid-deref-2

  Show description for fd62820
  MathiasVP

  authored
  fd62820

  Copy full SHA for fd62820

Commits on May 10, 2023

• C++: Enable implicit this warnings

  kaspersv

  committed
  8410eb3

  Copy full SHA for 8410eb3

• Merge branch 'main' into fix-fp-in-invalid-deref-2

  jketema

  authored
  c3a7f98

  Copy full SHA for c3a7f98

• Merge pull request #13059 from MathiasVP/remove-self-edges

  Show description for 720586c
  MathiasVP

  authored
  720586c

  Copy full SHA for 720586c

Commits on May 9, 2023

• C++: Make implicit this receivers explicit

  kaspersv

  committed
  c46898c

  Copy full SHA for c46898c

Commits on May 5, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  89bf335

  Copy full SHA for 89bf335

• C++: Remove self edges from post-update SSA.

  MathiasVP

  committed
  b437024

  Copy full SHA for b437024

• C++: Remove self edges from non-post-update SSA.

  MathiasVP

  committed
  4048915

  Copy full SHA for 4048915

• C++: No phi self-edges.

  MathiasVP

  committed
  c0b3a18

  Copy full SHA for c0b3a18

• Merge branch 'main' into overrun-write-only-one-alert

  MathiasVP

  committed
  cad0244

  Copy full SHA for cad0244

• Merge pull request #12959 from MathiasVP/identity-consistency-check

  Show description for 09ba9a7
  MathiasVP

  authored
  09ba9a7

  Copy full SHA for 09ba9a7

Commits on May 4, 2023

• Merge pull request #12997 from MathiasVP/sync-product-flow-across-calls

  Show description for 27c4408
  MathiasVP

  authored
  27c4408

  Copy full SHA for 27c4408

• C++: Accept test changes.

  MathiasVP

  committed
  de08ada

  Copy full SHA for de08ada

• C++: Add testcase with repeated TP alerts.

  MathiasVP

  committed
  a09a8db

  Copy full SHA for a09a8db

Commits on May 3, 2023

• Merge pull request #12982 from rdmarsh2/rdmarsh2/ir-guards-unreached

  Show description for 0b2f560
  jketema

  authored
  0b2f560

  Copy full SHA for 0b2f560

• C++: Accept test changes.

  MathiasVP

  committed
  2a4b176

  Copy full SHA for 2a4b176

• Merge branch 'main' into identity-consistency-check

  MathiasVP

  committed
  77001a0

  Copy full SHA for 77001a0

• C++: Accept consistency changes.

  MathiasVP

  committed
  5dc9d9a

  Copy full SHA for 5dc9d9a

• Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions

  Show description for 2af48e2
  MathiasVP

  authored
  2af48e2

  Copy full SHA for 2af48e2

• C++: Also account for setter-related flow and jump steps.

  MathiasVP

  committed
  0d6fdc6

  Copy full SHA for 0d6fdc6

Commits on May 2, 2023

• C++: Ensure that product dataflow library enters/leaves through the same call.

  MathiasVP

  committed
  7fa6894

  Copy full SHA for 7fa6894

• C++: Add testcase with FP.

  MathiasVP

  committed
  635d290

  Copy full SHA for 635d290

• Merge pull request #12966 from MathiasVP/dataflow-for-static-vars

  Show description for ab67103
  MathiasVP

  authored
  ab67103

  Copy full SHA for ab67103

• C++: fix duplicated UnreachedInstruction in raw IR

  

  Robert Marsh

  committed
  c6e0ee2

  Copy full SHA for c6e0ee2

• C++: handle calls to noreturn functions

  

  Robert Marsh

  committed
  c01ee59

  Copy full SHA for c01ee59

Commits on Apr 28, 2023

• C++: Accept consistency changes.

  MathiasVP

  committed
  a7d238f

  Copy full SHA for a7d238f

• C++: Add an API for indirect barrier guards and use it in tests.

  MathiasVP

  committed
  8c8b919

  Copy full SHA for 8c8b919

• C++: Add a test that needs indirect barrier guards.

  MathiasVP

  committed
  a6adf82

  Copy full SHA for a6adf82

• C++: Rewrite the barrier guard tests to be expression based. This is really what we expect people to write in queries.

  MathiasVP

  committed
  0f0384c

  Copy full SHA for 0f0384c

• C++: Fix back edge detection for phi nodes.

  MathiasVP

  committed
  4352757

  Copy full SHA for 4352757

• C++: Disable flow through nodes that are sources of phi edges' back edges.

  MathiasVP

  committed
  faf846b

  Copy full SHA for faf846b

• C++: Fix inconsistencies.

  MathiasVP

  committed
  c35cb70

  Copy full SHA for c35cb70

• C++: Accept query changes.

  MathiasVP

  committed
  fd2f025

  Copy full SHA for fd2f025

• C++: Accept test changes.

  MathiasVP

  committed
  24d1cac

  Copy full SHA for 24d1cac

• C++: Add static local testcases.

  MathiasVP

  committed
  3eca60c

  Copy full SHA for 3eca60c