C++/C#: Alias analysis of indirect parameters#2696

Merged

rdmarsh2 merged 18 commits intogithub:masterfrom

dbartol:dbartol/Indirections

Jan 30, 2020

Commits on Jan 28, 2020

C++/C#: Add new `MemoryAccessKind` to represent entire allocation
Dave Bartolomeo
committed
C++/C#: Share alias analysis between C++ and C#
Dave Bartolomeo
committed
C++/C#: Parameterize alias analysis based on `AliasConfiguration`
Dave Bartolomeo
committed
C++/C#: Update SimpleSSA to use `Allocation` instead of `IRVariable`
Dave Bartolomeo
committed
C++: Update AliasedSSA to use `Allocation` instead of `IRVariable`
Dave Bartolomeo
committed
C++/C#: Update shared file list
Dave Bartolomeo
committed
C++: New test framework that allows expected results as comments in source code
Dave Bartolomeo
committed
C++: Update points_to tests to use new framework
Dave Bartolomeo
committed
C++: Update escape analysis tests to new API
Dave Bartolomeo
committed
C++: Accept IR dump test results changes due to new alias analysis
Dave Bartolomeo
committed
C++: Accept dataflow test changes due to new alias analysis
Dave Bartolomeo
committed
Merge remote-tracking branch 'upstream/master' into dbartol/Indirections
Dave Bartolomeo
committed

Commits on Jan 29, 2020

C++: Document `InlineExpectationsTest`
Dave Bartolomeo
committed
C++: Document regular expressions in `InlineExpectationsTest`
Dave Bartolomeo
committed

Commits on Jan 30, 2020

Merge remote-tracking branch 'upstream/master' into dbartol/Indirections
Dave Bartolomeo
committed
C#: Fix bad merge
Dave Bartolomeo
committed
Merge remote-tracking branch 'upstream/master' into dbartol/Indirections
jbj
committed
C++: Put AliasedSSA.qll in new qlformat style
jbj
committed