{"id":2226258,"url":"http://patchwork.ozlabs.org/api/1.1/covers/2226258/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/cover/bmm.hhubic1gpg.gcc.gcc-TEST.redi.24.1.0@forge-stage.sourceware.org/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/1.1/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null},"msgid":"","date":"2026-04-22T10:35:07","name":"[v1,0/1] libstdc++: Make equal and is_permutation short-circuit (LWG 3560)","submitter":{"id":93210,"url":"http://patchwork.ozlabs.org/api/1.1/people/93210/?format=json","name":"Jonathan Wakely via Sourceware Forge","email":"forge-bot+redi@forge-stage.sourceware.org"},"mbox":"http://patchwork.ozlabs.org/project/gcc/cover/bmm.hhubic1gpg.gcc.gcc-TEST.redi.24.1.0@forge-stage.sourceware.org/mbox/","series":[{"id":500978,"url":"http://patchwork.ozlabs.org/api/1.1/series/500978/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=500978","date":"2026-04-22T10:35:07","name":"libstdc++: Make equal and is_permutation short-circuit (LWG 3560)","version":1,"mbox":"http://patchwork.ozlabs.org/series/500978/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/covers/2226258/comments/","headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=38.145.34.32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org; dmarc=none (p=none dis=none)\n header.from=forge-stage.sourceware.org","sourceware.org;\n spf=pass smtp.mailfrom=forge-stage.sourceware.org","server2.sourceware.org;\n arc=none smtp.remote-ip=38.145.34.39"],"Received":["from vm01.sourceware.org (vm01.sourceware.org [38.145.34.32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g0wwX5VMsz1y2d\n\tfor ; Wed, 22 Apr 2026 20:50:03 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 8D68942FA79A\n\tfor ; Wed, 22 Apr 2026 10:50:01 +0000 (GMT)","from forge-stage.sourceware.org (vm08.sourceware.org [38.145.34.39])\n by sourceware.org (Postfix) with ESMTPS id B9F6B4362246\n for ; Wed, 22 Apr 2026 10:36:00 +0000 (GMT)","from forge-stage.sourceware.org (localhost [IPv6:::1])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange x25519 server-signature ECDSA (prime256v1) server-digest SHA256)\n (No client certificate requested)\n by forge-stage.sourceware.org (Postfix) with ESMTPS id 9593442B45\n for ; Wed, 22 Apr 2026 10:36:00 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 8D68942FA79A","OpenDKIM Filter v2.11.0 sourceware.org B9F6B4362246"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org B9F6B4362246","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org B9F6B4362246","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776854160; cv=none;\n b=gIAUQ52OWAmVQteU4Cz7gHMC4o8BwjaA6Kxvop7BPVOdywa70xAv5AuvIHxad41gSmA7hpFPoS2XetQilk1bOknOuMM5szq2SuBD/UCmqHLlMVzpvk7lVRfGeoA8/8W40B9RNE+zRmQ1tgDHPaPiw6rZrQ+tyawxZWm2ETcBghg=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776854160; c=relaxed/simple;\n bh=Ettiq2YXiQKei2x/ZmQ2sVhuntQvl+oZ9OwSb7xfj0c=;\n h=From:Date:Subject:To:Message-ID;\n b=WBU5DGJ+zYT1Qe8Ozs3cvoBse2DkkvxlpyWc2e/Fcs0LzUuNHIZeQ10Iteb/FnrwG2uuOzVP2XYYiENpobMq/snaeNq+WEN4+deAawHfsA8s2IGiwU4Vo+XYsk+moSSPaGr+qH//6DoKWPGft38xqPQ4vsWINh3BREW9pUjt7+A=","ARC-Authentication-Results":"i=1; server2.sourceware.org","From":"Jonathan Wakely via Sourceware Forge\n ","Date":"Wed, 22 Apr 2026 10:35:07 +0000","Subject":"[PATCH v1 0/1] libstdc++: Make equal and is_permutation short-circuit\n (LWG 3560)","To":"gcc-patches mailing list ","Message-ID":"\n ","X-Mailer":"batrachomyomachia","X-Requested-Reviewer":"ppalka","X-Pull-Request-Organization":"gcc","X-Pull-Request-Repository":"gcc-TEST","X-Pull-Request":"https://forge.sourceware.org/gcc/gcc-TEST/pulls/24","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Reply-To":"gcc-patches mailing list , redi@gcc.gnu.org","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"Hi gcc-patches mailing list,\nJonathan Wakely via Sourceware Forge has requested that the following forgejo pull request\nbe published on the mailing list.\n\nCreated on: 2024-11-14 17:12:00+00:00\nLatest update: 2025-08-13 03:25:18+00:00\nChanges: 0 changed files, 0 additions, 0 deletions\nHead revision: redi/gcc ref refs/pull/24/head commit 4116ef62cffdfd7b2e7b5868c2a5bd52addc8b92\nBase revision: gcc/gcc-TEST ref trunk commit 4a3a0be34f723df192361e43bb48b9292dfe3a54 r15-5289-g4a3a0be34f723d\nMerge base: 4a3a0be34f723df192361e43bb48b9292dfe3a54\nFull diff url: https://forge.sourceware.org/gcc/gcc-TEST/pulls/24.diff\nDiscussion: https://forge.sourceware.org/gcc/gcc-TEST/pulls/24\nRequested Reviewers: ppalka\n\nWe already implement short-circuiting for random access iterators, but\nwe also need to do so for `ranges::equal` and `ranges::is_permutation` when\ngiven sized ranges that are not random access ranges (e.g. `std::list`).\n\n```\nlibstdc++-v3/ChangeLog:\n\n\t* include/bits/ranges_algo.h (__is_permutation_fn::operator()):\n\tShort-circuit for sized ranges with different sizes, as per LWG\n\t3560.\n\t* include/bits/ranges_algobase.h (__equal_fn::operator()):\n\tLikewise.\n\t* include/bits/stl_algo.h (__is_permutation): Use if-constexpr\n\tfor random access iterator branches.\n\t* include/bits/stl_algobase.h (__equal4): Likewise.\n\t* testsuite/25_algorithms/equal/lwg3560.cc: New test.\n\t* testsuite/25_algorithms/is_permutation/lwg3560.cc: New test.\n```\n\n\nChanged files:\n- A: libstdc++-v3/testsuite/25_algorithms/equal/lwg3560.cc\n- A: libstdc++-v3/testsuite/25_algorithms/is_permutation/lwg3560.cc\n- M: libstdc++-v3/include/bits/ranges_algo.h\n- M: libstdc++-v3/include/bits/ranges_algobase.h\n- M: libstdc++-v3/include/bits/stl_algo.h\n- M: libstdc++-v3/include/bits/stl_algobase.h\n\n\nJonathan Wakely (1):\n libstdc++: Make equal and is_permutation short-circuit (LWG 3560)\n\n libstdc++-v3/include/bits/ranges_algo.h | 7 +++\n libstdc++-v3/include/bits/ranges_algobase.h | 7 +++\n libstdc++-v3/include/bits/stl_algo.h | 13 ++---\n libstdc++-v3/include/bits/stl_algobase.h | 44 ++++++++--------\n .../testsuite/25_algorithms/equal/lwg3560.cc | 49 ++++++++++++++++++\n .../25_algorithms/is_permutation/lwg3560.cc | 51 +++++++++++++++++++\n 6 files changed, 145 insertions(+), 26 deletions(-)\n create mode 100644 libstdc++-v3/testsuite/25_algorithms/equal/lwg3560.cc\n create mode 100644 libstdc++-v3/testsuite/25_algorithms/is_permutation/lwg3560.cc"}