[llvm] [FunctionAttrs] Add the "initializes" attribute inference (PR #97373)

[Haopeng Liu via llvm-commits]

================
@@ -580,6 +582,206 @@ struct ArgumentUsesTracker : public CaptureTracker {
   const SCCNodeSet &SCCNodes;
 };
 
+// A struct of argument use: a Use and the offset it accesses. This struct
+// is to track uses inside function via GEP. If GEP has a non-constant index,
+// the Offset field is nullopt.
----------------
haopliu wrote:

Done.

https://github.com/llvm/llvm-project/pull/97373