GCC's IPA-SRA pass is run as a regular pass, not as an IPA pass. While this has simplified its implementation quite a bit, it's been creating pass-ordering issues for years now. So, let me try again to make it a real IPA pass, possibly dropping the capability to turn by-reference parameters to by-value ones, but definitely giving it the ability to work on strongly connected components of the call graph. And ending the pass-ordering issues.