https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84203
Peter Eisentraut <peter at eisentraut dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |peter at eisentraut dot org
--- Comment #4 from Peter Eisentraut <peter at eisentraut dot org> ---
This is implemented in gcc 14:
commit 53ba8d66955
Author: Jan Hubicka <[email protected]>
Date: Mon Nov 20 19:35:53 2023
inter-procedural value range propagation
implement very basic propapgation of return value ranges from VRP
pass. This helps std::vector's push_back since we work out value range of
allocated block. This propagates only within single translation unit. I
hoped
we will also do the propagation at WPA stage, but that needs more work on
ipa-cp side.
I also added code auto-detecting return_nonnull and corresponding
-Wsuggest-attribute.
[It is misspelled in the commit message.]
