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

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