https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97100
--- Comment #14 from Alejandro Colomar <alx at kernel dot org> --- Hi Martin, For the discussion of my -Wincompatible-pointer-types reproducer, please visit <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114731>. I'll reply to you there, since it's more on-topic, and also, I posted there the full reproducer. Have a lovely day! Alex