On Fri, 11 Aug 2023, Jakub Jelinek via Gcc-patches wrote: > On Fri, Aug 11, 2023 at 01:25:38PM +0000, Joseph Myers wrote: > > On Fri, 11 Aug 2023, Jakub Jelinek wrote: > > > > > All that is diagnosed is when result is bool or enum (any kind). Even for > > > > I'd suggest tests that other nonsense cases are diagnosed, such as > > floating-point or pointer arguments or results (hopefully such cases are > > already diagnosed and just need tests). > > So like this then?
I think it should also test the diagnostic for when *result is const-qualified. OK with that change. -- Joseph S. Myers jos...@codesourcery.com
