https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120371
--- Comment #2 from Jürgen Reuter <juergen.reuter at desy dot de> --- (In reply to anlauf from comment #1) > Jürgen, > > this is likely a duplicate of pr119928/pr120163 and has been fixed after > the 15.1 release. > > Either upgrade to 15-HEAD, or use -Wno-external-argument-mismatch > to suppress this check. > > Can you please check? Harald, I can confirm both points that (1) -Wno-external-argument-mismatch let the compilation pass, and that the bug fix by Thomas Koenig in https://gcc.gnu.org/cgit/gcc/commit/?id=7b38bab21a126512c17c8084ad78b6bf75fc1437 solves also my issue. I would concur to mark this one as duplicate.
