From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2122) id 22B583858021; Tue, 25 Oct 2022 17:51:13 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 22B583858021 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1666720273; bh=AGoJbyxNPdHC9MHz7ok9y9t/aplsA72h5BgTrGRnR18=; h=From:To:Subject:Date:From; b=Ed7X0AwJEjGJ7TELGPAV6FbA/DxUtW/YF5YxnZ+KKny8ZV+8LHgag//uV1kCyL94J J2LFKb3TJOBTp4vyZpFK6hRXfYTgIcL5R2V7LUa4LcVVJKF9SmklGfopcugDsu0KcU iZIs9KCukYQ6tSyqBiuYiih/P3oeCTTQr1QdAxnQ= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Jason Merrill To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/c++-contracts] (204 commits) Merge branch 'master' into devel/c++-contracts X-Act-Checkin: gcc X-Git-Author: Jason Merrill X-Git-Refname: refs/heads/devel/c++-contracts X-Git-Oldrev: 598a58d5539990b56c9a6c73ae1d0ed3445b5498 X-Git-Newrev: 0cda8a7e8366ac1817030cf824c8bfd6e27d9780 Message-Id: <20221025175113.22B583858021@sourceware.org> Date: Tue, 25 Oct 2022 17:51:13 +0000 (GMT) List-Id: The branch 'devel/c++-contracts' was updated to point to: 0cda8a7e836... Merge branch 'master' into devel/c++-contracts It previously pointed to: 598a58d5539... c++: minor tweaks Diff: Summary of changes (added commits): ----------------------------------- 0cda8a7... Merge branch 'master' into devel/c++-contracts e6a29aa... c++: constexpr-evaluate more assumes (*) ac8f92c... c++: improve failed constexpr assume diagnostic (*) 4ba3902... rs6000: Add CCANY; replace signed by (*) 4c5b116... tree-optimization/107176 - SCEV analysis association issue (*) cb21297... Relax assertion in profiler (*) 3ee6757... Move NOP stripping in SCEV analysis (*) d931715... Remove znver4 instruction reservations (*) 619e4ca... gimplify: Fix comment typos (*) 44e18da... gimplify: Call gimple_boolify on IFN_ASSUME argument [PR107 (*) 5936320... MIPS: add builtime option for -mcompact-branches (*) 4479f1d... MIPS: Not trigger error for pre-R6 and -mcompact-branches=a (*) 7d88853... gimplify: Don't add GIMPLE_ASSUME if errors were seen [PR10 (*) 354c97e... MIPS: fix building on multiarch platform (*) 19295e8... tree-optimization/100756 - niter analysis and folding (*) 321f89e... rs6000/test: Support vect_long_long effective target (*) 958014f... vect: Fix wrong shift_n after widening on BE [PR107338] (*) 5a20a47... riscv: fix cross compiler (*) f3f000b... i386: fix pedantic warning (*) 4e939ae... Daily bump. (*) 687d11f... analyzer: fix ICE on va_copy [PR107349] (*) 2e8a055... diagnostics: fix ICE in sarif output with NULL filename [PR (*) 18faaeb... analyzer: handle (NULL == &VAR) [PR107345] (*) 53881c4... analyzer: simplify sm_state_map lookup (*) 792f039... analyzer: handle "pipe" and "pipe2" [PR106300] (*) 244021b... tree: add build_string_literal overloads (*) 2055388... libgomp/nvptx: Prepare for reverse-offload callback handlin (*) f751bf4... x86: fix VENDOR_MAX enum value (*) f7d8ccf... c++: ICE with invalid structured bindings [PR107276] (*) 65e3274... c, c++: Fix up excess precision handling of scalar_to_vecto (*) 131d18e... libgomp/nvptx: Prepare for reverse-offload callback handlin (*) a096036... [AArch64] Improve immediate expansion [PR106583] (*) da8c362... c++: Fix up constexpr handling of char/signed char/short pr (*) f44575c... c-family: Implicitly return zero from main even on freestan (*) 5bcd92d... [PR tree-optimization/107355] Handle NANs in abs range-op e (*) 178ac53... OpenMP: Fix reverse offload GOMP_TARGET_REV IFN corner case (*) 97d1ed6... RISC-V: Support --target-help for -mcpu/-mtune (*) 1e9d9ed... Check HONOR_NANS instead of flag_finite_math_only in frange (*) 47db37e... lto: Always quote path to touch (*) 6bfea64... RISC-V: Support (set (mem) (const_poly_int)) (*) f84e4fb... RISC-V: Replace CONSTEXPR with constexpr (*) 3eea8c6... RISC-V: Remove unused TI/TF vector modes. (*) 65908ac... RISC-V: Fix REG_CLASS_CONTENTS. (*) 00716b7... Daily bump. (*) 0e37fd4... libgcc: Update 'gthr-mcf.h' to include a dedicated header f (*) e396245... Daily bump. (*) fef16c4... Fix uninitialized variable warnings. (*) 423df44... Update selftest such that [-Inf, +Inf] is always VARYING fo (*) e0927d7... xtensa: Make register A0 allocable for the CALL0 ABI (*) 1043971... Daily bump. (*) 4cfdaeb... Fortran: Add missing TKR initialization to class variables (*) 5792208... i386: Fix up BFmode comparisons in conditional moves [PR107 (*) 2cc4160... c++: Don't shortcut TREE_CONSTANT vector type CONSTRUCTORs (*) bf3b532... Enable AMD znver4 support and add instruction reservations (*) 88b3466... libstdc++: respect with-{headers, newlib} for default hoste (*) 33de0ff... libstdc++: Fix std::move_only_function for incomplete param (*) a9de836... Restore 'libgomp.oacc-c-c++-common/nvptx-sese-1.c' SESE reg (*) 436c4a2... Add 'gcc.dg/tree-ssa/pr107195-3.c' [PR107195] (*) 09f9814... tree-optimization/107323 - loop distribution partition orde (*) bdac4b4... RISC-V: Add type attribute for atomic instructions. (*) fa553ff... match.pd: Fix up gcc.dg/pr54346.c on i686-linux [PR54346] (*) 5f9fac6... c++: Fix up mangling ICE with void{} [PR106863] (*) 36ba985... Don't build readline/libreadline.a, when --with-system-read (*) f56d48b... RISC-V: Add RVV vsetvl/vsetvlmax intrinsics and tests. (*) cbd5057... RISC-V: Add RVV intrinsic basic framework. (*) 4e7ec7d... i386: Auto vectorize sdot_prod, udot_prod with VNNIINT8 ins (*) 4066759... Support Intel AVX-VNNI-INT8 (*) 825d004... Support Intel AVX-IFMA (*) 47a6ae5... Daily bump. (*) ecb20df... Fortran: error recovery with references of bad array constr (*) d155442... [PR c++/106654] Handle non-irange ranges in get_range_globa (*) 2e158ea... Add op[12]_range for UNORDERED_LT entries in range-op. (*) ecaa9ca... testsuite: Sanitize fails for SP FPU on Arm (*) 14272ae... c++: constraint matching, TEMPLATE_ID_EXPR, current inst (*) 1d561e1... ipa-visibility: Optimize TLS access [PR99619] (*) 3dfdc0d... A false UNORDERED_ means neither operand can be a NAN (*) 9a8b37f... c++ modules: handle CONCEPT_DECL in node_template_info [PR1 (*) e10ca95... vect: Fix vectype when widening container type in bitfield (*) 7bf3a4d... libstdc++: Redefine __from_chars_alnum_to_val's table (*) f4fda3e... Do not set NAN flags for VARYING ranges when !HONOR_NANS. (*) be43d5d... Replace finite_operands_p with maybe_isnan. (*) c75ee0b... testsuite: Add some missing -Wno-psabi options (*) f468fe1... passes: Fix a comment typo (*) 12d9f5a... libgomp: Add offload_device_gcn check, add requires-4a.c te (*) 5362b5c... Avoid PHI - PHI recurrence in vectorization (*) c7ebee2... Add 'libgomp.oacc-c-c++-common/private-big-1.c' [PR105421] (*) 7c55755... amdgcn: Use FLAT addressing for all functions with pointer (*) 25861cf... Make 'autoreconf' work for 'gcc', 'libobjc' (*) df99e9e... aarch64: Commonise some folding code (*) 7bca721... aarch64: Use using directives to inherit constructors (*) 9482a5e... aarch64: Replace CONSTEXPR with constexpr (*) 57675c7... aarch64: Prevent generation of /M BRKAS and BRKBS (*) 6bec666... aarch64: Fix matching of BRKNS (*) 8e2b5cf... c/107305 - avoid ICEing with invalid GIMPLE input to the GI (*) 5d6e834... vect: Simplify first for shifted value generation [PR107240 (*) a2e2838... Add C++ library interface data (*) 53e6d7a... Add assume support to VRP. (*) 87f9c4a... Daily bump. (*) 5e1538c... c: C2x %wN, %wfN format checking (*) f006827... Always check result from build_ in range-op-float.cc (*) ebe87ed... analyzer: fix ICE on __builtin_ms_va_copy [PR105765] (*) fb4db9b... libstdc++: Implement remaining P2474R2 changes to views::ta (*) b3c98d6... c++: Mitigate -Wuseless-cast with classes [PR85043] (*) 79d38dd... testsuite: Default make check-g++ vs. tests for newest C++ (*) a10d6b5... libstdc++: Fix typo in stride_view's operator- [PR107313] (*) a01eae6... testsuite: Fix up c2x-enum-1.c for 32-bit arches [PR107311] (*) 69a2336... Use Value_Range when applying inferred ranges. (*) 47684e5... libstdc++/thread: Implement `_GLIBCXX_NPROCS` for Windows (*) d329698... [PR tree-optimization/107312] Make range_true_and_false wor (*) f036d75... gcc: Add 'mcf' thread model support from mcfgthread (*) f3b957e... pch: Fix streaming of strings with embedded null bytes (*) 09fed44... avr: remove useless @tie{} directives (*) f6c168f... SRA: Limit replacement creation for accesses propagated fro (*) cb994ac... IBM zSystems: Fix function_ok_for_sibcall [PR106355] (*) 4f3f029... xtensa: Prepare the transition from Reload to LRA (*) 95c5cff... s390: Fix bootstrap error with checking and -m31. (*) 65b98fc... expr: Fix ICE on BFmode -> SFmode conversion of constant [P (*) 07cc4c1... match.pd: Add 2 TYPE_OVERFLOW_SANITIZED checks [PR106990] (*) ba281da... libstdc++-v3: Implement {,b}float16_t nextafter and some fi (*) 8f7df33... i386: Fix up __bf16 handling on ia32 (*) 32ab923... tree-optimization/106781 - adjust cgraph lhs removal (*) 75f7ff1... libsanitizer: regenerate configure (*) 1442e20... Canonicalize vec_perm index to make the first index come fr (*) 21de009... Daily bump. (*) f5f1d92... c: Diagnose "enum tag;" after definition [PR107164] (*) cc694f4... testsuite: Only run -fcf-protection test on i?86/x86_64 [PR (*) 885b666... libiberty: Fix C89-isms in configure tests (*) 6be2672... libsanitizer: Avoid implicit function declaration in config (*) 0101137... c++ modules: stream non-trailing default targs [PR105045] (*) c70b44f... libstdc++: Implement ranges::stride_view from P1899R3 (*) 3b3083a... c: C2x enums wider than int [PR36113] (*) 656b233... ipa-cp: Better representation of aggregate values in call c (*) e0403e9... ipa-cp: Better representation of aggregate values we clone (*) e73fe9e... libgcc: Quote variable in Makefile.in (*) 92ef782... tree-optimization/107302 - fix vec_perm placement for recur (*) aae016f... ifcvt: Do not lower bitfields if we can't analyze dr's [PR1 (*) a23225f... libstdc++: Partial library support for std::float{16,32,64, (*) 4dda30e... middle-end IFN_ASSUME support [PR106654] (*) 5ad3cc1... tree-optimization/107301 - check if we can duplicate block (*) 3510638... Move scanning pass of forwprop-19.c to dse1 for r13-3212-gb (*) 0205fbb... Merge partial relation precisions properly (*) 6237663... Daily bump. (*) 4374c42... Fix bogus RTL on the H8. (*) 19859bd... More infrastructure to avoid bogus RTL on H8. (*) f6e93b7... Remove accidential commits (*) 566c5f1... Enable REE for H8 (*) 43ee3f6... Add missing splitter for H8 (*) 9072db9... x86: Check corrupted return address when unwinding stack (*) 84807af... Fortran: NULL pointer dereference in gfc_simplify_image_ind (*) c9b840d... Make sure exported range for SSA post-dominates the DEF in (*) d45af5c... Fortran: handle bad array ctors with typespec [PR93483, PR1 (*) 34cecde... Fortran: check type of operands of logical operations, comp (*) 8950288... Fortran: Fixes for kind=4 characters strings [PR107266] (*) 3bd5d9a... c++ modules: streaming constexpr_fundef [PR101449] (*) 01d7d45... [PR tree-optimization/105820] Add test. (*) cb1edef... Do not test for -Inf when flag_finite_math_only. (*) 7896a31... Add 3 floating NAN tests. (*) b565ac1... Add relation_trio class for range-ops. (*) 04874fe... Fix nan updating in range-ops. (*) fca5295... Don't set useless relations. (*) 612de72... GCN: Restore build with GCC 4.8 (*) aeb1e2b... Tag 'gcc/gimple-expr.cc:mark_addressable_2' as 'static' (*) b617966... Fix nvptx-specific '-foffload-options' syntax in 'libgomp.c (*) 46a8e01... Vectorization of first-order recurrences (*) acdb241... libgcc: Move cfa_how into potential padding in struct frame (*) 0f48155... libstdc++: Fix value of __cpp_lib_constexpr_charconv (*) 59af5e0... RISC-V: Fix format[NFC] (*) 0ea578e... RISC-V: Reorganize mangle_builtin_type.[NFC] (*) f10b9f6... elf: ELF toolchain --without-{headers, newlib} should provi (*) fd206f0... Initial Meteorlake Support (*) 470a065... Initial Raptorlake Support (*) aedf7eb... Daily bump. (*) 6366e3e... Add new constraints for upcoming autoinc fixes (*) 709b216... Rename "z" constraint to "Zz" on the H8/300 (*) 6c3da5c... Fix bug in register move costing on H8/300 (*) 8f605de... Daily bump. (*) 030a08c... libstdc++: Fix -Wunused-function warning in src/c++11/debug (*) 378a0f1... libstdc++: Implement constexpr std::to_chars for C++23 (P22 (*) e24b430... libstdc++: Fix uses_allocator_construction args for cv pair (*) baeec7c... Daily bump. (*) 36d20fa... preprocessor: C2x identifier rules (*) 89f20c9... Fortran: fix check of polymorphic elements in data transfer (*) b4a4c63... Implement distinction between HONOR_SIGNED_ZEROS and MODE_H (*) 8efc383... Implement range-op entry for __builtin_copysign. (*) 3760dd5... gfortran.dg/c-interop/deferred-character-2.f90: Fix dg-do (*) 3dfeda0... Check rvc_normal in real_isdenormal. (*) 0dd9dd1... libstdc++: Disable all emergency EH pool code if obj-count (*) cf0b7e9... libstdc++: Simplify print_raw function for debug assertions (*) 823e909... Replace CFN_BUILTIN_SIGNBIT* cases with CASE_FLT_FN. (*) 464f050... Normalize ranges over the range for both bounds when -ffini (*) 2e252f5... Drop -0.0 in frange::set() for !HONOR_SIGNED_ZEROS. (*) d6a488f... c++ modules: ICE with dynamic_cast [PR106304] (*) a75e9be... Add cases for CFN_BUILT_IN_SIGNBIT[FL]. (*) 9ed4a84... tree-optimization/107254 - check and support live lanes fro (*) e39b170... Fix PR target/107248 (*) 6e8ce5d... libstdc++: Use markdown in Doxygen comment (*) 98fef35... gcov: test line count for label in then/else block (*) 4b04292... gcov: test switch/break line counts (*) c2565a3... middle-end, c++, i386, libgcc: std::bfloat16_t and __bf16 a (*) 16ec267... c++: Excess precision for ? int : float or int == float [PR (*) 98e3411... c++: Implement excess precision support for C++ [PR107097, (*) 1898163... c: C2x storage class specifiers in compound literals (*) 621a911... Daily bump. (*) c26d335... Fix bogus -Wstringop-overflow warning (*) (*) This commit already exists in another branch. Because the reference `refs/heads/devel/c++-contracts' matches your hooks.email-new-commits-only configuration, no separate email is sent for this commit.