https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110075
--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Yes, because we'd have to analyze the body of the function to see that it does not return one of the parameters, which often we can't do. There will be an attribute soon to suppress that warning.
