[Bug c/69404] atomic builtins accept incompatible pointers

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69404

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|atomic builtins silently    |atomic builtins accept
                   |discard cv-qualifiers       |incompatible pointers

--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
Actually, with more testing I see the builtins do even more than that: they
silently convert between pointers to types of the same size.  (Clang diagnoses
those as well.)

$ cat z.c && /home/msebor/build/gcc-trunk-git/gcc/xgcc
-B/home/msebor/build/gcc-trunk-git/gcc -S -Wall -Wextra -Wpedantic -o/dev/null
z.c
int* foo (void (*p)(void))
{
    int *q;
    __atomic_load (&p, &q, 0);
    return q;
}