[Bug libstdc++/115497] [15 Regression] __is_pointer doesn't compile with clang since 014879ea4c86b3b8ab6b61a1226ee5b31e816c8b

2024-06-15 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115497 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot

[Bug libstdc++/109150] std::fill should use __gnu_cxx::__is_scalar overloads for all scalars

2024-06-19 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109150 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot

[Bug libstdc++/115444] std::copy_n generates more code than needed

2024-06-27 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115444 --- Comment #5 from Arthur O'Dwyer --- > Yes, so that std::copy_n benefits from the same memmove optimization as > std::copy. Right, I'm not objecting to the memmove optimization, just to the current codebase's approach of "slightly pessimize

[Bug c++/115718] New: Deficiencies in -Wnrvo

2024-06-30 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
++ Assignee: unassigned at gcc dot gnu.org Reporter: arthur.j.odwyer at gmail dot com Target Milestone: --- Jason Turner recently did a video on `-Wnrvo` https://www.youtube.com/watch?v=PTCFddZfnXc and I noticed some deficiencies in GCC's handling of his very first example. Here's the

[Bug libstdc++/101485] Calling std::equal with std::byte* does not use memcmp

2024-07-04 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101485 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot

[Bug c++/115361] "possibly dangling reference to a temporary" when object is_empty

2024-10-02 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115361 --- Comment #6 from Arthur O'Dwyer --- Thanks, that looks much less noisy! (Assuming godbolt.org has updated already.) I now see this: // https://godbolt.org/z/WqT6hs8ed f3, f7, and f9 now all give -Wuninitialized at -O1 and higher (and false-

[Bug libstdc++/118209] New: ranges::sort doesn't use iter_move, cannot sort zip of move-only type

2024-12-26 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
erity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: arthur.j.odwyer at gmail dot com Target Milestone: --- Bug #105609 is related, i.e. it's about using std::move(*it) where ADL iter_move(it) is required; but I

[Bug c++/102116] structured binding is returned from a function as rvalue in C++20 mode

2025-02-06 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102116 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot

[Bug libstdc++/109941] [feat req] Add an option to mark STL types as nodiscard

2024-12-15 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109941 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot

[Bug c++/118139] New: Broken diagnostic: 'decltype_type' not supported by pp_cxx_unqualified_id

2024-12-19 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: arthur.j.odwyer at gmail dot com Target Milestone: --- https://godbolt.org/z/fPjoqMrYs template struct CW { using V = typename decltype(T())::type; static voi

[Bug libstdc++/118647] Missed optimization to do memcpy/memmove for contiguous iterator

2025-01-26 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118647 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot

[Bug libstdc++/118293] New: Inserting at front of an empty deque shouldn't need to allocate

2025-01-04 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
ormal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: arthur.j.odwyer at gmail dot com Target Milestone: --- https://godbolt.org/z/Y4nKfsfM8 int main() { std::deque v; printf("Default-constructed capacity: %zu\n"

[Bug libstdc++/111351] constexpr std::string objects permitted to escape constant evaluation when SSO

2025-03-25 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111351 --- Comment #10 from Arthur O'Dwyer --- > > Would it be at least possible to make the error clearer? > I don't think that's possible to do in the library. Agreed. IMO this bug should be marked RESOLVED at this point, because James Knight's pat

[Bug c++/119497] Improve diagnostic for failed assert(expr) in constexpr context

2025-03-27 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119497 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot

[Bug c++/119497] Improve diagnostic for failed assert(expr) in constexpr context

2025-03-27 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119497 --- Comment #7 from Arthur O'Dwyer --- > @jwakely is correct that on OSX/Darwin the macro is named `__assert_rtn`. ...er, sorry, the *non-constexpr function called by the `assert` macro* is named `__assert_rtn`.

[Bug middle-end/119576] Please remove -Warray-bounds from -Wall

2025-04-01 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119576 --- Comment #8 from Arthur O'Dwyer --- The Linux kernel disables -Warray-bounds in GCC 9 and later (and -Wstringop-overflow unconditionally). https://github.com/openSUSE/kernel/blame/5be5ecdaf1e7fb1a04e6122771b432851cd2393d/init/Kconfig#L905-L92

[Bug middle-end/119576] Please remove -Warray-bounds from -Wall

2025-04-01 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119576 --- Comment #6 from Arthur O'Dwyer --- Will Wray points out that GCC's own codebase disables `-Warray-bounds` in several places, including at least these places in current master: gcc/cp/module.cc:#pragma GCC diagnostic ignored "-Warray-bounds"

[Bug driver/119576] New: Please remove -Warray-bounds from -Wall

2025-04-01 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
: driver Assignee: unassigned at gcc dot gnu.org Reporter: arthur.j.odwyer at gmail dot com Target Milestone: --- See meta-bug #56456 for both "false negative" and "false positive" reports with -Warray-bounds. See bug #107677 for a user asking "What is

[Bug libstdc++/109941] [feat req] Add an option to mark STL types as nodiscard

2025-03-10 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109941 --- Comment #7 from Arthur O'Dwyer --- I've split out the `std::expected` feature request specifically into bug #119197.

[Bug libstdc++/119197] New: [feat req] `std::expected` should be nodiscard

2025-03-10 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: arthur.j.odwyer at gmail dot com Target Milestone: --- See https://quuxplusone.github.io/blog/2024/12/08/should-expected-be-nodiscard/ and https://www.reddit.com/r/cpp/comments/1h9u4us

[Bug c++/116866] RFE: warn about suspected missing "throw" when discarding temporaries that inherit from std::exception

2025-03-10 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116866 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot

[Bug libstdc++/120432] New: flat_map operator[] is broken for const lvalue keys

2025-05-25 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: arthur.j.odwyer at gmail dot com Target Milestone: --- As reported by Rufei Zhao on the cpplang Slack: https://godbolt.org/z/fa48dvnoq std::flat_map m; int main(void) { const double e { 3.14

[Bug libstdc++/120432] flat_map operator[] is broken for const lvalue keys

2025-05-27 Thread arthur.j.odwyer at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120432 --- Comment #2 from Arthur O'Dwyer --- (In reply to Patrick Palka from comment #1) > Confirmed, that fix looks good to me. > > FWIW our template operator[] is just the standard > https://eel.is/c++draft/flat.map#access-4 with more generalized c

<    1   2   3