On Wed, 12 Jun 2024 at 23:44, Alexandre Oliva <ol...@adacore.com> wrote: > > On Jun 12, 2024, Jonathan Wakely <jwakely....@gmail.com> wrote: > > > On Wed, 12 Jun 2024, 02:17 Alexandre Oliva, <ol...@adacore.com> wrote: > >> > >> Some c++23 tests fail on targets that don't satisfy dg-require-cmath, > >> because referenced math functions don't get declared in std. > > > Are they present on the target at all? Is not declaring them in std the > > underlying bug here? > > Some are present on the target, but the <cmath> implementation doesn't > bring them into std because the detection for them in libc concludes the > feature is not available. > > Should they be declared even if using them would cause link errors? Or > should libstdc++ offer additional fallback implementations?
I guess that's a target maintainer's choice. I'm fine with just skipping the tests. If no users are asking for those features, it also seems fine to not declare them.