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 B7CCC3858C1F; Thu, 10 Feb 2022 09:41:21 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B7CCC3858C1F
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/89855] Inconsistent global namespace overload sets
 from #include <cmath>
Date: Thu, 10 Feb 2022 09:41:21 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Version: 9.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: NEW
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: 
Message-ID: <bug-89855-4-3kPzOQj1wZ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-89855-4@http.gcc.gnu.org/bugzilla/>
References: <bug-89855-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: Thu, 10 Feb 2022 09:41:21 -0000

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

--- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Ville brought a related case to my attention. With Glibc this compiles, and
finds libc's ::sqrt(double)

#include <cmath>
int i =3D sqrt(0);

But on Solaris it doesn't even compile. Solaris libc provides all three of
sqrt(float), sqrt(double), sqrt(long double), which makes this ambiguous.

The additional overload that works for integral types is not provided by
Solaris libc's <math_iso.h>, only by <cmath>, and so can't be found here
because there is no 'using std::sqrt;' to put it into the global namespace.

So this compiles and even gives the expected result (returning a double) on
linux, but fails to compile on Solaris.

This suggests that we even need the additional overloads for integral argum=
ents
to be unconditionally dumped into both the global namespace and std.=