Repository navigation

C++: Fix false negatives for postfix crement expressions - #2799

Merged

jbj merged 8 commits into

github:masterfrom

MathiasVP:missing-flow-in-crement

Feb 12, 2020

Merged

C++: Fix false negatives for postfix crement expressions#2799
jbj merged 8 commits into
github:masterfrom
MathiasVP:missing-flow-in-crement

Commits on Feb 9, 2020
- C++: Fix false negatives for postfix crement expressions
  MathiasVP
  committed
  bb30275
Commits on Feb 10, 2020
- C++: Accept output
  MathiasVP
  committed
  52bc25b
- C++: Move fix to adjustedSink to avoid generating too many instructions
  MathiasVP
  committed
  522c629
- C++: Accept output
  MathiasVP
  committed
  6804018
- C++: Simplify
  MathiasVP
  committed
  99a9d7f
- C++: Add += and friends to adjustedSink
  MathiasVP
  committed
  bcd84ef
Commits on Feb 11, 2020
- C++: Generalize new case in adjustedSink to all AssignOperations
  MathiasVP
  committed
  1dd5926
Commits on Feb 12, 2020
- C++: Generalize PostfixCrementOperation to CrementOperation to fix false negatives reported by Geoffrey
  MathiasVP
  committed
  c8be67c