https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80880
Ilya Enkovich <ienkovich at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ienkovich at gcc dot gnu.org
--- Comment #2 from Ilya Enkovich <ienkovich at gcc dot gnu.org> ---
It would be more preferable to avoid conditional replacement for bndret calls
but making such exception may require unintuitive fixes in various propagators.
We can loose returned bounds in some cases anyway, so I agree with proposed
patch.
Also it might make sense to handle NULL case because it is likely to be the
most popular propagated conditional value for pointers.
