From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 575CD3861035; Tue,  3 Aug 2021 11:49:39 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 575CD3861035
From: "fweimer at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/101747] New: Two-argument version of attribute malloc does
 not perform overload resolution
Date: Tue, 03 Aug 2021 11:49:38 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 11.2.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: fweimer at redhat dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-101747-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 03 Aug 2021 11:49:39 -0000

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

            Bug ID: 101747
           Summary: Two-argument version of attribute malloc does not
                    perform overload resolution
           Product: gcc
           Version: 11.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: fweimer at redhat dot com
  Target Milestone: ---

This:

struct T1;
struct T2;

void close(T1*);
void close(T2*);

T1* open(const char *) __attribute__ ((__malloc__ (close, 1)));

results in:

t.cc:7:62: error: =E2=80=98malloc=E2=80=99 attribute argument 1 is ambiguous
    7 | T1* open(const char *) __attribute__ ((__malloc__ (close, 1)));
      |                                                              ^
t.cc:7:62: note: use a cast to the expected type to disambiguate

This can be observed when building RawTherapee with glibc 2.34:
https://github.com/Beep6581/RawTherapee/issues/6324

Performing overload resolution in this context seems useful, given that the
exact type of the argument should be known at this point (the return type of
the function).

I'm not sure if should add the cast to the glibc sources to work around thi=
s.=