[Bug c++/116673] New: __builtin_launder accepts function pointers and void pointers

[nikolasklauser at berlin dot de via Gcc-bugs]

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

            Bug ID: 116673
           Summary: __builtin_launder accepts function pointers and void
                    pointers
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nikolasklauser at berlin dot de
  Target Milestone: ---

__builtin_launder currently accepts pointer types that aren't valid arguments
to std::launder. I think this should be rejected, since it's not allowed by the
feature that __builtin_launder is implementing.