Commits

Breadcrumbs

History for

on6d6ad4a

User selector

All users

All time

Commit History

Commits on Mar 30, 2020

• Merge branch 'master' into sideeffect

  geoffw0

  committed
  6d6ad4a

  Copy full SHA for 6d6ad4a

• Merge pull request #2921 from aschackmull/dataflow/consistency-checks

  Show description for 9fa9c10
  hvitved

  authored
  9fa9c10

  Copy full SHA for 9fa9c10

Commits on Mar 27, 2020

• C++: Fix test expectations for complex literals

  

  Dave Bartolomeo

  committed
  3039aaf

  Copy full SHA for 3039aaf

Commits on Mar 25, 2020

• Merge remote-tracking branch 'upstream/master' into detect-conflated-memory

  Show description for 2b2667a
  jbj

  committed
  2b2667a

  Copy full SHA for 2b2667a

Commits on Mar 24, 2020

• C++: Phi-node conflation is not about vvars

  jbj

  committed
  2783214

  Copy full SHA for 2783214

• C++: failing test for non-conflated escaped var

  jbj

  committed
  95a8dcb

  Copy full SHA for 95a8dcb

Commits on Mar 23, 2020

• C++: Accept test diffs

  Show description for bebf89f
  

  Dave Bartolomeo

  committed
  bebf89f

  Copy full SHA for bebf89f

• C++/C#: Fix bad overlap sanity failures

  Show description for c5ac357
  

  Dave Bartolomeo

  committed
  c5ac357

  Copy full SHA for c5ac357

• C++: Fix getExtentOverlap for entire allocation

  jbj

  committed
  b0d3c9e

  Copy full SHA for b0d3c9e

• C++/C#: Add sanity test for invalid overlap from `getDefinitionOverlap()`

  Show description for a2741da
  

  Dave Bartolomeo

  committed
  a2741da

  Copy full SHA for a2741da

Commits on Mar 20, 2020

• C++: Implement Instruction.isResultConflated

  Show description for f6f9afe
  jbj

  committed
  f6f9afe

  Copy full SHA for f6f9afe

• C++: Fix handling of `std::va_list` that is used as a function parameter

  Show description for 82e2816
  

  Dave Bartolomeo

  committed
  82e2816

  Copy full SHA for 82e2816

Commits on Mar 19, 2020

• C++: Better IR for varargs

  Show description for bf28451
  

  Dave Bartolomeo

  committed
  bf28451

  Copy full SHA for bf28451

• C++: .expected change (desirable).

  geoffw0

  committed
  88193dd

  Copy full SHA for 88193dd

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  74f61dc

  Copy full SHA for 74f61dc

Commits on Mar 18, 2020

• Merge branch 'master' into sideeffect

  geoffw0

  committed
  2e4e491

  Copy full SHA for 2e4e491

• C++: Add some SideEffect models.

  geoffw0

  committed
  6cc1c23

  Copy full SHA for 6cc1c23

• C++: Offset .expected for cleaner diff.

  geoffw0

  committed
  935b8d9

  Copy full SHA for 935b8d9

• C++: Add IR test for strcpy/strcat.

  geoffw0

  committed
  0c94666

  Copy full SHA for 0c94666

• C++: Move VarArgs utilities location

  

  Dave Bartolomeo

  committed
  0329327

  Copy full SHA for 0329327

• C++: Make vararg utilities internal for now.

  

  Dave Bartolomeo

  committed
  fed1bce

  Copy full SHA for fed1bce

• Merge remote-tracking branch 'upstream/master' into dbartol/VarArgIR

  

  Dave Bartolomeo

  committed
  26ea93a

  Copy full SHA for 26ea93a

• Merge pull request #2849 from geoffw0/model-gets

  Show description for f1ad0da
  jbj

  authored
  f1ad0da

  Copy full SHA for f1ad0da

Commits on Mar 17, 2020

• Merge remote-tracking branch 'upstream/master' into dbartol/static-locals

  

  Dave Bartolomeo

  committed
  709757f

  Copy full SHA for 709757f

• C++: Model varargs in IR, Part I

  Show description for 9cc3cda
  

  Dave Bartolomeo

  committed
  9cc3cda

  Copy full SHA for 9cc3cda

Commits on Mar 16, 2020

• C++: Fixup test .expected files after merge.

  geoffw0

  committed
  44c66a3

  Copy full SHA for 44c66a3

• Merge branch 'master' into model-gets

  geoffw0

  committed
  034f7cc

  Copy full SHA for 034f7cc

• C++: Support the mirror case with <=.

  geoffw0

  committed
  2cee756

  Copy full SHA for 2cee756

• C++: Add some test cases for the mirror case, with <=.

  geoffw0

  committed
  dcf2f7f

  Copy full SHA for dcf2f7f

• C++: Additional test cases for the recursive bit of UnsignedGEZero.

  geoffw0

  committed
  3d8633f

  Copy full SHA for 3d8633f

Commits on Mar 13, 2020

• C++: Fix false positives

  MathiasVP

  committed
  e1942bb

  Copy full SHA for e1942bb

• C++: Demonstrate false positives when a const variable is initialized in a parameter list

  MathiasVP

  committed
  cc25298

  Copy full SHA for cc25298

• C++: Fix failed tests

  Show description for 9922958
  

  Dave Bartolomeo

  committed
  9922958

  Copy full SHA for 9922958

Commits on Mar 12, 2020

• C++: Model dynamic initialization of static local variables in IR

  Show description for 1526400
  

  Dave Bartolomeo

  committed
  1526400

  Copy full SHA for 1526400

• Merge pull request #3050 from geoffw0/mismatching_placement_new

  Show description for 917b984
  jbj

  authored
  917b984

  Copy full SHA for 917b984