Commits

Breadcrumbs

History for

onf9e0ba1

User selector

All users

All time

Commit History

Commits on May 6, 2021

• autoformat and sync C++ files

  

  Robert Marsh

  committed
  8bc7e59

  Copy full SHA for 8bc7e59

• C++: Reuse SSA from earlier stages

  Show description for deff5c3
  

  Robert Marsh

  committed
  deff5c3

  Copy full SHA for deff5c3

• C++: make unaliased_ssa IR stage sound

  

  Robert Marsh

  committed
  a9d7990

  Copy full SHA for a9d7990

Commits on May 5, 2021

• C++: Add qldoc explaining column order.

  MathiasVP

  committed
  066cdb5

  Copy full SHA for 066cdb5

Commits on May 4, 2021

• C++: Reorder getInstructionOpcode to produce better RA.

  MathiasVP

  committed
  ded377b

  Copy full SHA for ded377b

Commits on May 3, 2021

• Merge pull request #5803 from MathiasVP/no-magic-in-getUnspecifiedType

  Show description for c05ef12
  jbj

  authored
  c05ef12

  Copy full SHA for c05ef12

Commits on Apr 29, 2021

• Fix typo.

  intrigus

  committed
  08731fc

  Copy full SHA for 08731fc

• C++: Dont allow magic in getUnspecifiedType.

  MathiasVP

  committed
  39c7816

  Copy full SHA for 39c7816

Commits on Apr 28, 2021

• C++: Do not inline `Dominance::hasMultiScopeNode`

  hvitved

  committed
  058925c

  Copy full SHA for 058925c

Commits on Apr 27, 2021

• Merge pull request #5737 from dbartol/dbartol/smart-pointers/work

  Show description for 0f141ed
  MathiasVP

  authored
  0f141ed

  Copy full SHA for 0f141ed

• C++: Delete the fix that was introduced in bb447d7174141dc518e6ce90367121280fec1d80. This is no longer needed after #5678.

  MathiasVP

  committed
  a41e905

  Copy full SHA for a41e905

• C++: Also include the assignment versions in exprThatCanOverflow.

  MathiasVP

  committed
  05d693e

  Copy full SHA for 05d693e

Commits on Apr 26, 2021

• Merge pull request #5678 from MathiasVP/sound-expr-might-overflow-predicate

  Show description for 0e7eeb3
  geoffw0

  authored
  0e7eeb3

  Copy full SHA for 0e7eeb3

Commits on Apr 23, 2021

• Merge pull request #5696 from jbj/reapply-inconsistency-workaround

  Show description for 9b5bb95
  jbj

  authored
  9b5bb95

  Copy full SHA for 9b5bb95

• C++: Only unary and binary arithmetic operations and left shifts are now

  Show description for e607712
  MathiasVP

  committed
  e607712

  Copy full SHA for e607712

• C++: Replace Jira ticket reference with GH issue

  jbj

  committed
  6de5b30

  Copy full SHA for 6de5b30

• C++: Remove reference to obsolete issue CPP-383

  jbj

  committed
  6e059ea

  Copy full SHA for 6e059ea

Commits on Apr 22, 2021

• C++: Add `{AllAliased}` side effects for smart pointers

  Show description for 5d0a4ca
  

  Dave Bartolomeo

  committed
  5d0a4ca

  Copy full SHA for 5d0a4ca

Commits on Apr 21, 2021

• C++: Isolate models from AST dataflow's reference/object conflation

  Show description for 3832100
  

  Dave Bartolomeo

  committed
  3832100

  Copy full SHA for 3832100

• C++: Remove unnecessary cast

  

  Dave Bartolomeo

  committed
  0bc4b04

  Copy full SHA for 0bc4b04

• C++: Prepare for merge of smart pointer models

  

  Dave Bartolomeo

  committed
  b9da6ce

  Copy full SHA for b9da6ce

Commits on Apr 20, 2021

• C++: Impoved alias analysis of smart pointers

  

  Dave Bartolomeo

  committed
  a447b04

  Copy full SHA for a447b04

• C++: More general model for pointer flow

  

  Dave Bartolomeo

  committed
  63fe4fb

  Copy full SHA for 63fe4fb

• C++: Allow alias propagation to/from side effects (part 1)

  

  Dave Bartolomeo

  committed
  5085e46

  Copy full SHA for 5085e46

• C++: Add `Instruction::getAParameterSideEffect()`.

  

  Dave Bartolomeo

  committed
  01a9531

  Copy full SHA for 01a9531

• C++: Simplify smart pointer model and accept test changes.

  MathiasVP

  committed
  61d4d17

  Copy full SHA for 61d4d17

Commits on Apr 16, 2021

• Revert "Revert "C++: Work around extractor issue CPP-383""

  Show description for f8d45f0
  jbj

  committed
  f8d45f0

  Copy full SHA for f8d45f0

• Merge pull request #5667 from MathiasVP/use-range-analysis-in-overflow

  Show description for e1028a2
  geoffw0

  authored
  e1028a2

  Copy full SHA for e1028a2

Commits on Apr 14, 2021

• Merge pull request #5643 from dbartol/smart-pointers/side-effect-refactor

  Show description for fe57876
  

  Robert Marsh

  authored
  fe57876

  Copy full SHA for fe57876

• Fix formatting

  

  Dave Bartolomeo

  committed
  b29f35f

  Copy full SHA for b29f35f

• C++: Make exprMightOverflowPositively/exprMightOverFlowNegatively hold for unanalyzable expressions. This hopefully means that expressions that do not satisfy these predicates will never overflow/u…

  Show description for ed64ed3
  MathiasVP

  committed
  ed64ed3

  Copy full SHA for ed64ed3

• Merge pull request #5578 from MathiasVP/ast-flow-smart-pointers

  Show description for b4f01c9
  jbj

  authored
  b4f01c9

  Copy full SHA for b4f01c9

• C++: Make sure missingGuardAgainstOverflow (and underflow) holds when range analysis fails to deduce a bound.

  MathiasVP

  committed
  bb447d7

  Copy full SHA for bb447d7

• C++: Remove rule that wasn't needed.

  MathiasVP

  committed
  bc7cc2f

  Copy full SHA for bc7cc2f

• Revert "C++: As response to the review comments this commit adds a reference-to-pointer state to AddressFlow. A call to an unwrapper function now adds a pointer -> reference-to-pointer transition, …

  Show description for da36508
  MathiasVP

  committed
  da36508

  Copy full SHA for da36508