I have now filled https://gcc.gnu.org/PR92628 as ME bug to track this
(i.e. honor TYPE_RESTRICT for pointer-escape analysis).
Cheers,
Tobias
On 11/21/19 3:36 PM, Tobias Burnus wrote:
On 11/21/19 3:09 PM, Richard Biener wrote:
So I think what you'd need to do is make 'i' marked as TYPE_RESTRICT
then. I think we don't yet handle it but it means that bar() may not
modify 'i' but via 'i' (but it doesn't get 'i' as a parameter).
Okay, that would be then the attached patch. – I can confirm that it
does not work.
