From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2140) id D2B763856263; Thu, 19 May 2022 09:46:56 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D2B763856263 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Alexandre Oliva To: gcc-cvs@gcc.gnu.org Subject: [gcc/aoliva/heads/testbase] (249 commits) compiler: traverse expressions when exporting constants X-Act-Checkin: gcc X-Git-Author: Alexandre Oliva X-Git-Refname: refs/users/aoliva/heads/testbase X-Git-Oldrev: 90a8eab4a1292430467f68b65e5127f7760acc94 X-Git-Newrev: b8944f0438a183a0245ffe17aeaeaf3a1a00069c Message-Id: <20220519094656.D2B763856263@sourceware.org> Date: Thu, 19 May 2022 09:46:56 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 19 May 2022 09:46:56 -0000 The branch 'aoliva/heads/testbase' was updated to point to: b8944f0438a... compiler: traverse expressions when exporting constants It previously pointed to: 90a8eab4a12... [PR105455] Set edge probabilities when hardening conditiona Diff: Summary of changes (added commits): ----------------------------------- b8944f0... compiler: traverse expressions when exporting constants (*) 1cda629... Daily bump. (*) 7da9a08... c: Implement new -Wenum-int-mismatch warning [PR105131] (*) 1875214... Revert move of g++.dg/pr69667.C (*) c86b726... x86: Fix -fsplit-stack feature detection via TARGET_CAN_SP (*) 4a9be8d... Correct ix86_rtx_cost for multi-word multiplication. (*) 30405cc... Avoid andn and generate shorter not;and with -Oz on x86. (*) 60fdce1... c, c++: -Wswitch warning on [[maybe_unused]] enumerator [PR (*) dfe38b8... c++: fix SIGFPE with -Wclass-memaccess [PR105634] (*) 0d189b1... Reduce usage of limited_with clauses with -fdump-ada-spec (*) 297a690... testsuite/rs6000: Move pr83660.C to g++.target (*) 21e2bc9... graphite: Extend SCoP detection dump output (*) 65851d6... demangler: Reorganize for module demangling (*) 86f6440... 'include/cuda/cuda.h': Add parts necessary for nvptx-tools (*) bdd1dc1... 'include/cuda/cuda.h': For C++, wrap in 'extern "C"' (*) ba85636... OpenMP: Add Fortran support for inoutset depend-kind (*) 9f068ad... [Ada] Fix proof of runtime unit s-imageu (*) 17cd8bf... [Ada] qnx-7.1: warning in sigtramp-qnx.c __gnat_sigtramp (*) 6999173... [Ada] arm-qnx-7.1: stack-checking and sigtramp implementati (*) c6c9b82... [Ada] Adapt proof of double arithmetic runtime unit (*) 6f8f9d1... [Ada] Fix proof of runtime unit s-valeu (*) df4451c... [Ada] Make sure output variable is always initialized (*) 8502433... [Ada] Disable Vet calls when container checks are disabled (*) db67182... [Ada] arm-qnx-7.1: undefined reference to fma* symbols (*) 91b46ee... [Ada] Fix DWARF parsing for 32-bit targets on 64-bit hosts (*) 72de114... [Ada] Improve error messages for occurrence of GNAT extensi (*) b271095... [Ada] Fix Ada-QNX task priority conversion (*) ef07419... [Ada] Use specific predicate before manipulating BIP_Alloc_ (*) ddb8255... [Ada] Crash building VSS with compiler built with assertion (*) 337c80a... [Ada] Ada2022: AI12-0143 Index attribute for entry families (*) 3c63f73... [Ada] Fix proof of runtime units (*) 5b0e8d6... [Ada] Errors missed on ACATS test B650007 (*) 9af8c27... [Ada] Fix the parsing for delta aggregate (*) dea655a... [Ada] Secondary stack and a-tags (*) 7c77ec1... [Ada] Fix problematic underflow for Float_Type'Value (*) ba89624... [Ada] Spurious error on freezing of tagged types in SPARK (*) 8e4f370... [Ada] Rework optimization skipping pragma check in object d (*) de02cb5... [Ada] Fix internal error on subprogram instantiation (*) df61c5d... [Ada] Overriding error on type derived from discriminated u (*) 16b8ba1... [Ada] Prevent overflow in computation of aggregate size (*) 8b49556... [Ada] Fast implementation of floating-point mathematical fu (*) 54cf660... [Ada] Freezing too strict in instances (*) 5488c78... [Ada] Fix incorrect freezing with generic child unit (*) bf7143f... [Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C (*) 700cd7d... [Ada] Small performance tweak in recent change (*) 1ef3f09... [Ada] New port arm-qnx (*) 9d1336d... Enhance final_value_replacement_loop to handle bitwise indu (*) a174dc1... This patch adds a combine pattern for "CA minus one". The S (*) 102237c... recognize bzhi pattern when there's zero_extendsidi. (*) 850a13d... Expand __builtin_memcmp_eq with ptest for OImode. (*) c6e36f0... rs6000: Prefer assigning the MMA vector operands to altivec (*) 3d9439b... Daily bump. (*) 1bfb823... compiler: load LHS subexpressions of op= assignment only on (*) 2b0c837... c++: constexpr ref to array of array [PR102307] (*) 2c05a2d... c: use CONST_DECL for enumerators in TYPE_VALUES (*) 2ee68be... Fix register count when not splitting Complex IEEE 128-bit (*) 4755447... OpenMP: Skip target-nesting warning for reverse offload (*) ddb1427... libstdc++: Relax memory ordering for default memory resourc (*) 5c2d703... libstdc++: Add attributes to functions in (*) 5f1ce85... libstdc++: Add attributes to and related (*) c985215... Revert 'Use more ARRAY_SIZE.' for mkoffload (*) b750173... Add side effect infrastructure. (*) 451894c... demangler: Structured Bindings (*) 7a3f38a... PR105169 Fix references to discarded sections (*) 941efd8... Do not clear bb->aux in duplicate_loop_body_to_header_edge (*) 6101a27... Check for equivalence after merging relations. (*) 61a6923... i386: Fix ICE in final_scan_insn_1 [PR105624] (*) 741478e... libgomp: Clarify that omp_display_env is fully implemented (*) cd4a0dd... Advise to call 'internal_error' instead of 'abort' or 'fanc (*) 0f00ebf... graphite: Fix minor mistakes in comments (*) 0cca1c2... graphite: Rename isl_id_for_ssa_name (*) 61fe7b7... libgomp.texi: Document OpenMP context selectors (*) ebe5dac... gcn/t-omp-device: Add 'amdgcn' as 'arch' [PR105602] (*) 2c16eb3... openmp: Add support for inoutset depend-kind (*) 1815462... libstdc++: Skip tests that fail for the versioned namespace (*) 357d6fc... libstdc++: Stop defining C++0x compat symbols for versioned (*) 472aecb... libgomp.texi: Add OpenMP 5.2 implementation status (*) 254cbf7... i386: Fix up V2DI and V1TI inequality comparisons [PR105613 (*) 4f94c38... OpenMP: Add omp_all_memory support to Fortran (*) ebce0e9... tree-optimization/105618 - restore load sinking (*) 33400df... [Ada] Restore defensive guard in checks for volatile actual (*) de0665f... [Ada] Subprogram renaming fails to hide homograph (*) a51b601... [Ada] CUDA: remove code performing kernel registration (*) 5ab656c... [Ada] Enhance the warning on C enum with size clause for si (*) 3c802e9... [Ada] Allow inlining for proof inside generics (*) 867bf6f... [Ada] Provide allocation subtype for allocators of a Design (*) f2ef7a0... [Ada] Cleanups related to front-end SJLJ (*) 26b0b2d... [Ada] GNAT.Binary_Search is not internal (*) 5c44da0... [Ada] Fix insertion of declaration inside quantified expres (*) 5dbb656... [Ada] Fix Forced sign flag in formatted string (*) 42fe7c9... [Ada] Fix small glitch in Expand_N_Full_Type_Declaration (*) 80d1067... [Ada] Requires_Cleanup_Actions and N_Protected_Body (*) b81c9e4... [Ada] Output.w always writes to stderr (*) a2bcadc... [Ada] Generic binary search implementation (*) ca3e565... [Ada] Fix bogus visibility error with partially parameteriz (*) 27b2b83... [Ada] Take full view of private type (*) c21a009... [Ada] Allow 'Reduce with -gnat2022 (*) 6e2d6b8... [Ada] Don't create calls to Abort_Undefer when not Abort_Al (*) 98208e3... [Ada] Typo fix in finalization comment (*) 83bfdda... [Ada] Initialize Compiler_State to avoid Constraint_Error (*) d678717... [Ada] Deal with derived record types in Has_Compatible_Repr (*) e2f7d58... [Ada] Streamline implementation of Has_Compatible_Represent (*) 87a6558... [Ada] Remove superfluous call to Original_Node (*) 6c72dc7... [Ada] Crash freezing declaration that will raise constraint (*) c30e5ab... [Ada] Spurious error on subprogram with class-wide precondi (*) d409061... [Ada] Use Actions field of freeze nodes for subprograms (*) a08f366... [Ada] Implement calls to abstract subprograms in class-wide (*) 8fc021c... [Ada] Fix documentation of using attribute Loop_Entry in pr (*) 7cff436... [Ada] Check token to be "access", reject it if not (*) bc17882... [Ada] Enable current value propagation within pragma expres (*) bc9aa45... forwprop: Fix a typo and comment formatting (*) 105c56a... Optimize vpermtiw/b to vpunpcklqdq for certain cases. (*) 1fba060... Clamp vec_perm_expr index in simplify_bitfield_ref to avoid (*) 702bd11... Daily bump. (*) ed12749... attribs: fix typedefs in generic code [PR105492] (*) 2402dc6... analyzer: implement four new warnings for misuse (*) 5eb9927... d: Merge upstream dmd 60bfa0ee7, druntime 94bd5bcb, phobos (*) 682e587... libstdc++: Fix hyperlink in docs (*) 8414dad... libstdc++: Update C++23 status docs (*) 4361867... libstdc++: Add C++23 status docs (*) 6464882... libstdc++: Fix status docs for support (*) 6f5b060... Finish gimple_build API enhancement (*) adace78... Move code_helper to tree.h (*) ef7b897... rtl-optimization/105577 - testcase for the PR (*) 6230911... ipa/105598 - testcase for PR105598 (*) 8ab53e6... opts-global.cc: document last change (*) cc7cd8d... Do not use DW_OP_not for TRUTH_NOT_EXPR in conditional expr (*) b90e43d... [Ada] Fix fallout of change in equality for untagged record (*) 7e0c853... [Ada] Fix expansion of attribute Loop_Entry wrt value propa (*) 20652c7... [Ada] Remove useless code related to current value propagat (*) b32b519... [Ada] Type invariant or postcondition may cause uninitializ (*) 26bbf0e... [Ada] Freeze target type on qualified expression expansion (*) c1e0079... [Ada] Fix proof of double arithmetic units (*) 9eb5504... [Ada] Don't crash on ghost packages when emitting CUDA symb (*) f29e9e8... [Ada] GNAT.Debug_Pools: Improve documentation of the Stack_ (*) 1bdf9fa... [Ada] sigaction result not properly checked in __gnat_insta (*) 839e7f1... [Ada] Fix thinko in QNX's implementation of __gnat_install_ (*) 9abb17d... [Ada] Add #include in cstreams.c (*) dec636b... [Ada] replace call to bzero in terminals.c by call to memse (*) 21f8b41... [Ada] Revise Storage_Model_Support operations to do checks (*) ae745a0... [Ada] Handle case-expression inside if-expression in -gnato (*) 7d8e3f5... [Ada] Update comment justifying non-inlining for proof insi (*) aacbf37... [Ada] Fix iterated element association loop var escaping lo (*) e4acb82... [Ada] Fix internal error on iterated array aggregate (*) e6bdaa0... [Ada] Accept calls to abstract subprograms in class-wide pr (*) 146ea83... [Ada] Fix internal error on mix of controlled and protected (*) 861b78a... [Ada] Fix internal error on predicate aspect with iterator (*) 7c88e46... [Ada] Implement component finalization ordering rules for t (*) 909ce35... [Ada] Fix implementation issues with equality for untagged (*) 9a39b25... [Ada] Remove duplicated detection of user-defined equality (*) 90fadb5... [Ada] Improve building of untagged equality (*) d12b8e9... [Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64 (*) 2878027... [Ada] Couple of small consistency tweaks (*) 82ca748... [Ada] Fix spurious error on limited view with incomplete ty (*) 4e8b88f... [Ada] Pick volatile refinement property of a subtype from i (*) 457fb33... [Ada] Clarify code for detecting volatile refinement proper (*) 07ee67a... [Ada] Remove duplicated code for detecting enabled pragmas (*) ca32b29... Use more ARRAY_SIZE. (*) b4fb9f4... OpenMP, C++: Add template support for the has_device_addr c (*) ec69db6... Fix ubsan error in opts-global.cc (*) 9a53101... Add MIN/MAX folding from fold_cond_expr_with_comparison to (*) 69c4b5c... Fix ICE caused by wrong condition. (*) ac6a32f... Daily bump. (*) 1854787... i386: Remove constraints when used with constant integer pr (*) 4df735e... c++: hidden friend access [DR1699] (*) 87e1f02... c++: parsing injected-class-name as template (*) ce46d60... c++: array {}-init [PR105589] (*) c539768... Daily bump. (*) 9df4ffe... Daily bump. (*) 62ecd2b... c++: Add fixed test [PR81952] (*) dd7813f... compiler: always sort interface parse methods (*) d75d429... Improved V1TI (and V2DI) mode equality/inequality on x86_64 (*) 14e678a... rs6000: Remove a few needless 'lp64' contraints. (*) eccbd7f... rs6000: Move g++.dg powerpc PR tests to g++.target (*) 1fe04c4... PR tree-optimization/83907: Improved memset handling in str (*) 16f7fca... RISC-V: Implement C[LT]Z_DEFINED_VALUE_AT_ZERO (*) 7f40ac3... libstdc++: Make std::thread::_State private (*) 8659bcd... libstdc++: Add noexcept to std::launch operators (*) c829b04... libstdc++: Allow std::swap to find overload for std::except (*) c470f3e... libstdc++: Make std::rethrow_if_nested work without RTTI (*) e97e992... Check operand for type, not LHS. (*) 70d624f... libgomp.fortran/target-nowait-array-section.f90: Fix typo (*) a46d626... OpenMP/Fortran: Use firstprivat not alloc for ptr attach fo (*) bc25483... [AArch64] add barriers to ool __sync builtins (*) 010af10... testsuite: btf: Fix btf-datasec-1.c for RISC-V (*) dc32901... testsuite: opt: Fix const7.C for RISC-V. (*) ade5531... Move VREL values to their own enumerated type. (*) f3204ce... Return a bool result for union, and add performance improve (*) 1d3d7e8... Add a return value to intersect and speed it up. (*) 98e475a... Fix return value in ranger_cache::get_global_range. (*) b0ad41c... MAINTAINERS: Add myself to write after approval (*) cf2141a... Add relation between op1 & op2 to lhs_opN_relation API. (*) 0ee9a62... c++: Local symbols do not get module manglings (*) af34279... Export global ranges during the VRP block walk. (*) 602a316... Clear killing defs when resetting the path in path_oracle. (*) 6b15604... Make range_from_dom more effective. (*) b584cbd... libstdc++: Improve doxygen docs for (*) a278402... libstdc++: Improve doxygen docs for some of (*) c29c2a0... libstdc++: Improve doxygen docs for and (*) e614925... libstdc++: Improve doxygen docs for algorithms and more (*) 171f41f... libstdc++: Improve doxygen docs for std::allocator (*) 1b01963... libstdc++: Improve doxygen docs for (*) 1566ca0... libstdc++: Improve doxygen docs for (*) 20b917e... libstdc++: Improve doxygen docs for (*) 757146f... libstdc++: Improve doxygen docs for std::pointer_traits (*) e4905f1... libstdc++: Add macros for the inline namespace std::_V2 (*) 4163b0b... libstdc++: Fix typo in doxygen @headerfile command (*) 9c3a8fe... libstdc++: Disable Doxygen GROUP_NESTED_COMPOUNDS config op (*) 1f89e48... libgomp nvptx plugin: Only consider '--with-cuda-driver=[.. (*) 04c0a88... Avoid visiting newly-created blocks in harden-conditionals (*) 6aaa1d5... ada: gcc-if: build proper String_Pointer for Get_External_N (*) 9a79854... Introduce tests for hardbool Machine_Attribute for Ada (*) 6a11672... arm: correctly handle misaligned MEMs on MVE [PR105463] (*) 485a0ae... arm: fix some issues in mve_vector_mem_operand (*) 112447f... xtensa: Reflect the 32-bit Integer Divide Option (*) d543bac... xtensa: Rename deprecated extv/extzv insn patterns to extvs (*) 7b84420... Fix wrong SRA with VIEW_CONVERT_EXPR and reverse SSO (*) c77e487... [Ada] Fix incorrect call to inherited function with limited (*) ba75fee... [Ada] Storage_Model_Object fails to return object entity (*) d663778... [Ada] Compiler crash on -gnata -O2 (*) 78e2638... [Ada] Only use alternate stack when needed (*) 8150f29... [Ada] Extend hardcfr testing (documentation) (*) a2cff9e... [Ada] CUDA: use binder to generate kernel-registration code (*) e358460... [Ada] Fix iterated component association for array aggregat (*) 4c9a818... [Ada] Simplify helper units for formal hashed sets/maps (*) f8e12e7... [Ada] Adapt body of formal sets and maps for SPARK (*) 2e2f53d... [Ada] Remove dependency on tampering checks and controlled (*) 6d22fb1... [Ada] Ada ABI change when building with assertions (*) 17a89d8... [Ada] Take into account GNSA_ROOT env var for prefix (*) b77029f... [Ada] Implement late initialization rules for type extensio (*) 7b6fa64... [Ada] Handle IN iterator for class-wide derived object of i (*) 3fe35ab... [Ada] Facilitate proof of Overwrite in bounded strings libr (*) 9e5b1b0... [Ada] Fix code example on representation clause (*) 85df624... [Ada] Do not overwrite limited view of result type (*) 18e2787... [Ada] Wrong address for class-wide interface access convers (*) fafccfb... [Ada] Crash in task body reference to discriminant (*) 6a28d40... [Ada] Improve expected type error messages (*) cf54619... [Ada] Document control flow redundancy (*) 0145570... [Ada] Fix compiler crash on FOR iteration scheme over conta (*) 83bacaa... [Ada] Remove obsolete uses of Unchecked_Conversion from Ada (*) cb50998... [Ada] Remove obsolete uses of Unchecked_Deallocation from A (*) 84f2013... [Ada] Fix the Ada 2022 iterated component association RM re (*) 9bea1bd... [Ada] Fix typo on "that" (*) fa45988... [Ada] Spurious access error in function returning type with (*) 74ce1d5... [Ada] Accept effectively volatile components in actuals (*) 7427e67... [Ada] Remove redundant guard in checks for volatile actuals (*) 8a8366d... [Ada] Ineffective use type clause warnings cause compile ti (*) bac63f1... testsuite: Make AArch64 attributes_7.c generate unique repo (*) ba20688... Make gimple_build main workers more flexible (*) (*) This commit already exists in another branch. Because the reference `refs/users/aoliva/heads/testbase' matches your hooks.email-new-commits-only configuration, no separate email is sent for this commit.