C++: Field flow through addresses. - #5127

Closed

MathiasVP wants to merge 13 commits into

github:mainfrom

MathiasVP:field-flow-through-addresses

Commits on Feb 12, 2021

Fix join order: On C++ we would get getLocalContext -> getEnclosingCallable -> localFlowEntry, and we really want localFlowEntry -> getEnclosingCallable -> getLocalContext.
MathiasVP
committed
cb4ac09
Sync identical files.
MathiasVP
committed
fe8175f

Commits on Feb 13, 2021

C++: The same bad join order is also present in pathStep.
MathiasVP
committed
224fbb3
Sync identical files.
MathiasVP
committed
203293d

Commits on Feb 14, 2021

C++: Field flow through addresses.
MathiasVP
committed
cc2e945

Commits on Feb 16, 2021

C++: Optimize
MathiasVP
committed
7a9b440

Commits on Feb 17, 2021

C++: Propagate def-to-use to more than the first use when it leaves a basic block.
MathiasVP
committed
f46724f

Commits on Feb 19, 2021

C++: Add content-aware simple flow steps.
MathiasVP
committed
ba04e6d
Sync identical files.
MathiasVP
committed
72b3317
C++/Java/C#/Python: Implement stub versions of content-aware flow steps.
MathiasVP
committed
29d9f5b

Commits on Feb 21, 2021

Merge branch 'content-aware-simple-steps' into field-flow-through-addresses
MathiasVP
committed
b4466c7
C++/C#/Java/Python: Fix semantic merge conflict.
MathiasVP
committed
30516ba
C++: Implement simpleLocalFlowContentStep
MathiasVP
committed
fb5e6c7