https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118588
--- Comment #3 from Alejandro Colomar <alx at kernel dot org> --- Okay, I can live with it, I guess. I was just experimenting with these warnings, and don't have any real code where this is a false positive. I guess in actual code I would make the function get a non-null, and thus this diagnostic would be good. I hope _Optional will allow for better diagnostics in this regard.