C++: IR Alias Analysis for smart pointers#5737

Merged

MathiasVP merged 12 commits intogithub:mainfrom

dbartol:dbartol/smart-pointers/work

Apr 27, 2021

Commits on Apr 20, 2021

C++: Add `Instruction::getAParameterSideEffect()`.
Dave Bartolomeo
committed
C++: Allow alias propagation to/from side effects (part 1)
Dave Bartolomeo
committed
C++: Add shared test headers to emulate standard library types
Dave Bartolomeo
committed
C++: Add missing `shared_ptr<T>` members
Dave Bartolomeo
committed
C++: More general model for pointer flow
Dave Bartolomeo
committed
C++: Impoved alias analysis of smart pointers
Dave Bartolomeo
committed

Commits on Apr 21, 2021

C++: Prepare for merge of smart pointer models
Dave Bartolomeo
committed
Merge from `main`
Dave Bartolomeo
committed
C++: Remove unnecessary cast
Dave Bartolomeo
committed
C++: Isolate models from AST dataflow's reference/object conflation
Dave Bartolomeo
committed

Commits on Apr 22, 2021

C++: Add `{AllAliased}` side effects for smart pointers
Dave Bartolomeo
committed
Stub out additional bits of Alias model for C#
Dave Bartolomeo
committed