[Bug c/115441] New: Pointer/integer mismatch in __atomic_fetch-* not covered by -Wint-conversion

[patrick at rivosinc dot com via Gcc-bugs]

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

            Bug ID: 115441
           Summary: Pointer/integer mismatch in __atomic_fetch-* not
                    covered by -Wint-conversion
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: patrick at rivosinc dot com
  Target Milestone: ---

Testcase:
void foo(int *x, int *y)
{
        __atomic_fetch_add(x, y, __ATOMIC_SEQ_CST);
}

Godbolt:
https://godbolt.org/z/1czvaxMTd