Re: [PATCH 7/9] ipa-sra: Forward propagation of sizes which are safe to dereference

> gcc/ChangeLog: > > 2022-11-11 Martin Jambor > > * ipa-sra.cc (isra_param_desc): New fields safe_size, > conditionally_dereferenceable and safe_size_set. > (struct gensum_param_desc): New field conditionally_dereferenceable. > (struct isra_param_flow): Updated comment

[PATCH 7/9] ipa-sra: Forward propagation of sizes which are safe to dereference

Hi, I'm re-posting patches which I have posted at the end of stage 1 but which have not passed review yet. 8< The previous patch established a way to propagate information about parameters from callers to callees (even though