<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/62388>62388</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Compile error casting from overloaded static member function
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          gknowles
      </td>
    </tr>
</table>

<pre>
    I believe that gcc & msvc are correct here, and o1 should be allowed. At best the error about creating a non-const pointer is misleading as it seems to be triggered by having an overload set.

Thanks!

~~~ C++
struct A {
    static void simple(int val) { }
    static void overloaded(int val) { }
    static void overloaded(long val) { }
};

void test() {
    A f;
 auto s1 = static_cast<void(*)(int)>(f.simple); // ok
    auto s2 = static_cast<void(*)(int)>(A::simple); // ok
    auto o1 = static_cast<void(*)(int)>(f.overloaded); // msvc & gcc ok, clang error
 auto o2 = static_cast<void(*)(int)>(A::overloaded); // ok
}
~~~

~~~
clang version 16.0.0 (https://github.com/llvm/llvm-project.git 08d094a0e457360ad8b94b017d2dc277e697ca76)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /opt/compiler-explorer/clang-16.0.0/bin
Found candidate GCC installation: /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0
Selected GCC installation: /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64
 (in-process)
 "/opt/compiler-explorer/clang-16.0.0/bin/clang-16" -cc1 -triple x86_64-unknown-linux-gnu -S -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name example.cpp -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=all -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -mllvm -treat-scalable-fixed-error-as-warning -debug-info-kind=constructor -dwarf-version=4 -debugger-tuning=gdb -v -fcoverage-compilation-dir=/app -resource-dir /opt/compiler-explorer/clang-16.0.0/lib/clang/16 -internal-isystem /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0 -internal-isystem /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0/x86_64-linux-gnu -internal-isystem /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0/backward -internal-isystem /opt/compiler-explorer/clang-16.0.0/lib/clang/16/include -internal-isystem /usr/local/include -internal-isystem /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -fdeprecated-macro -fdebug-compilation-dir=/app -ferror-limit 19 -fgnuc-version=4.2.1 -fcxx-exceptions -fexceptions -fcolor-diagnostics -mllvm --x86-asm-syntax=intel -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /app/output.s -x c++ <source>
clang -cc1 version 16.0.0 based upon LLVM 16.0.0 default target x86_64-unknown-linux-gnu
ignoring nonexistent directory "/opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../x86_64-linux-gnu/include"
ignoring nonexistent directory "/include"
#include "..." search starts here:
#include <...> search starts here:
 /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0
 /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0/x86_64-linux-gnu
 /opt/compiler-explorer/gcc-12.2.0/lib/gcc/x86_64-linux-gnu/12.2.0/../../../../include/c++/12.2.0/backward
 /opt/compiler-explorer/clang-16.0.0/lib/clang/16/include
 /usr/local/include
 /usr/include/x86_64-linux-gnu
 /usr/include
End of search list.
<source>:12:41: error: cannot create a non-constant pointer to member function
    auto o1 = static_cast<void(*)(int)>(f.overloaded);
 ^~~~~~~~~~~~
1 error generated.
Compiler returned: 1
~~~

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMWEtv4zgS_jX0pUBBIv08-OC249kGZi7bi9ljQJElmRuKFEjKcS757QtKcuxNO0lnMOjtbsORSx_rxaqPDxGCri3imsy-kNluIrp4cH5dP1j3aDBMSqee1l-hRKPxiBAPIkItJRA2hyYcJQiPIJ33KCMc0CNhWxBWgSsgHFxnFJQIwhj3iCqDTYQSQ4R4QEDvnQdRui6C9CiitjUIsM5S6WyI0DptI3rQARodDArVIwLoCAGxCRBd0h69rmv0qKB8goM49igL7ojeOKEgYMxIviP5Zvj-10HYh0BYcS18fn6GLWFf0qcXhOg7GWEDZDFKAABCFFFLODqtIOimNUjYUtsIR2EIWyUwkMXu9oCzR6j-6iDjbH1zVHrgX64D6gdHDJGw5Qi_GNhA9QIH0UUHoQDCd6PleylCJHybdPTDN4StBp_TA78jbFll5_hXhH8BwvaE7cE9XIwMetkn9W4IT58fUu4-7_R1Oq9198WcqjpVt3tIZSyNsPVQpteZcn8xorcsn6N6mcvn5-dXlTk8DP4c0QftLBTzLM9yIGx5iLENyUavr9bx0JWZdA1he2OO5z-09e4_KGNW6wj5UuWrqchxOlvweS7UslxNy7xYKKYkWyxwvlpIsZgnT4eeEb7GSPgGTsv5_XxKO5sowlKjbXeite3OveVRKGicQpPQrQv6NLz6akMUxqDaaZ9eEbZ3bSRsL13TaoOe4qk1zqNPshQrHWIkbF9qOyjZu84qkMIqrURE-G27BT0oFlE7-6HiWkpasIz1ao0uBxFh-zGuSzxsP-J6w9_QoIyofp7F7UuQTWeiTiP5BrLUt9O8mU_fQ3E2wjh7D3Z6wZ3OwJc43zMKfYWnipIYwkuRAGHss7N6ERLGgEpZAI1etwbfrDSg34AqHURpkFYeEag0KDwVIdISK-eRlkI-oFUXXN8CR_S60uh7sRRe0aMwHVIrGgxAG6EtrbQZBIAnkTgok20LtPFonOxnnPbVDa2WQFstqcEjGmDDDx1oqxFoU3nRIB3XMMJ3whigVSPigaL31gGtqjatdNELGQnfOQu0so76VOLa1jRhgTb9YpjWIuepMFqE5GrV2UdtFY0puED4jgGNfY9S2XYpdXQ-BRo7i72gRos-OdykRKQUo4g0SGGGLOoTKtpTHRWBPgpv0ypKFZZdTbWtHH3QVhG-u_IGqHoUvqIjIxG-m44javTJtLY14btalUCPQCuZGFDUSIfSGHKpEhnsCNuLlGWPwXVeYhJ_iiCGvuqFqY3mQPu8W2GoDk8hYvO3NynbZ9n3X9pK0ylMZsbdxHnAL-jSDWW_ppepnR-FV5_17oMquZi9rbgLSUnqe_MR9Cdk6Ab-e5fwlB7k91Fc8vvOlN8Y_XkTQCuFrUcpIiraCOldL0pU8nbrVwP7GN3oCMUKaFXbTl6TS8ayItHI6UTxJLFNShIV_s8P6YzzVGlRWxeiluGF8mgiRREaGp5sFCfCdymiRMpCKR90DXR3f__bdnv_j82fd_e7f2_-uWf32_3X-823PwjfFUAdDN6m-e5i28UsAD3BWLBA-Hagr7Tvu9qy9avaq31bKQIq6Fpn4fff__zjLFZYic5EGLj8g82Wrq3ziaets3jSIaKNoHQ6izn_9OFq_BMKM7nw466-HkQYP5cUYSxLthgEFF4e0vbbxzAcOfnmezzfJjy_ew___2e2X8SNG8p-Gc_O1P8jHv0w3V-U3aT416_f5s63kL34zipw1bkCjQ4v9xDXRME3BSN8My3STns4bfJNOuJYN16M4PW1iLCXm5HooMGmRA9VZ2V_GvnbD8jnCGd3z5d_g7AY73D6zWUi-zG87Tg14DF23qJKARWvTrMTteZqxVdigutivmSz9H82OawxX3ApZVnlS1XOlZSFLBezKV_MZ6ucFXKi1yxnPJ-yeTHPF3yWKcUrNi3ZknFcrdSSTHNshDZZIv7M-XqiQ-hwPWd8uZwYUaIJ_YUXYxYfoX-ZSGe2m_h1f1AouzqQaZ6mLFy0RB0NrsfoxthTThOvVd41V3c15yucV9Mz6bxZf-68nooqORgI2_cB_DcAAP__dVgj1w">