* Alexander Monakov: > This is not valid (constraint violation): > > unsigned x; > > int *p = &x; > > In GCC this is diagnosed under -Wpointer-sign: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25892
Thanks for the reference. I filed: -Wpointer-sign must be enabled by default <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109836>