From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2140) id 8DE033858C2F; Thu, 21 Jul 2022 03:39:48 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8DE033858C2F 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] (216 commits) analyzer: bulletproof taint warnings against NULL m_arg X-Act-Checkin: gcc X-Git-Author: Alexandre Oliva X-Git-Refname: refs/users/aoliva/heads/testbase X-Git-Oldrev: d89fa97ff318b1f892e2629c5a249313872a01b1 X-Git-Newrev: 742377ed0f09313503a1c5393c4f742d69249521 Message-Id: <20220721033948.8DE033858C2F@sourceware.org> Date: Thu, 21 Jul 2022 03:39:48 +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, 21 Jul 2022 03:39:48 -0000 The branch 'aoliva/heads/testbase' was updated to point to: 742377ed0f0... analyzer: bulletproof taint warnings against NULL m_arg It previously pointed to: d89fa97ff31... lto-plugin: use locking only for selected targets Diff: Summary of changes (added commits): ----------------------------------- 742377e... analyzer: bulletproof taint warnings against NULL m_arg (*) a6c192e... analyzer: fix ICE on untracked decl_regions [PR106374] (*) e7dfd87... Daily bump. (*) 87a9bfe... libstdc++: Fix std::common_iterator triviality [PR100823] (*) 56c9998... libstdc++: Fix std::common_iterator assignment [PR100823] (*) 3b5567c... libstdc++: Fix minor bugs in std::common_iterator (*) 5e83069... analyzer: update "tainted" state of RHS in comparisons [PR1 (*) 26bbe78... Fortran: fix parsing of omp task affinity iterator clause [ (*) daa36cf... Avoid registering __builtin_setjmp_receiver label twice [PR (*) 8694390... Remove unused remove_node_from_expr_list (*) 5f59d0f... Improve SLP codegen, avoiding unnecessary TREE_ADDRESSABLE (*) 78d5e12... Move pass_cse_sincos after vectorizer. (*) f9d4c3b... Lower complex type move to enable vectorization for complex (*) 68871a0... analyzer: don't track string literals in the store [PR10635 (*) 7c0c10d... Daily bump. (*) dbb093f... Resolve complicated join nodes in range_from_dom. (*) b0cc57c... Remove recursion from range_from_dom. (*) f838d15... Fortran: error recovery on invalid array reference of non-a (*) c66dc02... libstdc++: Complete __gnu_debug::string Standard conformity (*) 68f3767... c++: shortcut bad reference binding [PR94894] (*) 7a158a5... tree-cfg: check placement of returns_twice calls (*) 26cea5f... tree-cfg: do not duplicate returns_twice calls (*) 76c3f0d... tree-ssa-sink: do not sink to in front of setjmp (*) 465802c... c++: Enable __has_builtin for new reference binding built-i (*) 4a8aab9... .gitignore: do not ignore config.h (*) 20ab397... libstdc++: Make __from_chars_alnum_to_val conversion explic (*) 2c044ff... analyzer: fix taint handling of switch statements [PR106321 (*) 434d521... analyzer: log out-edge description in exploded_graph::proce (*) edf0c13... Remote trailing : for subheading. (*) 4c32313... forwprop: Use lhs type instead of arg0 in folding VEC_PERM_ (*) f082bc7... RTEMS: Remove HAVE_POLL for libstdc++ (*) e4ff11a... middle-end/106331 - fix mem attributes for string op argume (*) 0f12976... lto/106334 - relax assert during WPA tree merging (*) 40f6e59... PR c/106264: Silence warnings from __builtin_modf et al. (*) 2180cdd... xtensa: Correct the relative RTX cost that corresponds to t (*) 79fb112... Daily bump. (*) 63d182f... libstdc++: Enhance branching in std::inplace_merge and std: (*) 5e47c93... Check if transitives need to be registered. (*) e9ee752... RISC-V/doc: Add index references for `mrelax' and `mriscv-a (*) fa16bb8... RISC-V/doc: Correct the formatting of `-mstack-protector-gu (*) 7df7997... RISC-V/doc: Correct the name of `-mriscv-attribute' (*) 7501eec... arc: Add ARCHS release 310a tune variant. (*) 87f46a1... Fix builtin vs non-builtin partition merge in loop distribu (*) c869773... libgcc/arc: Update udivmodsi4 and make the lib safe for rf1 (*) 7313381... arm: Replace arm_builtin_vectorized_function [PR106253] (*) 9c8349e... arc: Fix interrupt's epilogue. (*) ce92603... Improve common reduction vs builtin code generation in loop (*) 06039e7... Replace manual swapping idiom with std::swap in aarch64.cc (*) 2907bfc... PR target/106231: Optimize (any_extend:DI (ctz:SI ...)) on (*) 43c2505... Fix issue with x86_64_const_vector_operand predicate on x86 (*) f9da266... Add UNSPEC_MASKOP to kupck instructions in sse.md on (*) 6d70717... Daily bump. (*) 7bcd7f4... Daily bump. (*) 2b5baae... go: fix f().x where f returns zero-sized type (*) d6d8e6a... xtensa: Optimize "bitwise AND with imm1" followed by "branc (*) 1884f89... xtensa: constantsynth: Make try to find shorter instruction (*) bdc7b76... Daily bump. (*) 2582080... x86: Disable sibcall if indirect_return attribute doesn't m (*) fd3d25d... PR target/106273: Add earlyclobber to *andn3_doublewor (*) 517fb1a... Fortran: do not generate conflicting results under -ff2c [P (*) 9a15d3b... c++: Add __reference_con{struc,ver}ts_from_temporary [PR104 (*) 0a8edfb... analyzer: fix taint false positive on optimized range check (*) b1d07b5... analyzer: documentation nits relating to new fd warnings (*) 5054bc0... go: fix f(g()) where g returns zero-sized type (*) 91259dd... aarch64: Remove qualifier_internal (*) 5ba864c... aarch64: Add V1DI mode (*) 23dd41c... MAINTAINERS: Add myself to Write After Approval (*) 2fd215b... PR target/106278: Keep REG_EQUAL notes consistent during TI (*) 3aab916... Use pp_vrange for ranges in dump_ssaname_info. (*) 64864aa... Convert vrange dumping facilities to pretty_printer. (*) 91a7f30... Implement visitor pattern for vrange. (*) f858fe7... libcpp: Improve encapsulation of label_text (*) ae69e6f... i386: Fix _mm_[u]comixx_{ss,sd} codegen and add PF result. (*) 4cbebdd... [aarch64] Use op_mode instead of vmode in aarch64_vectorize (*) e0e07bc... Daily bump. (*) c6cf555... Simplify memchr with small constant strings (*) 748f8a8... Fortran: error recovery for bad initializers of implied-sha (*) b4f8108... jit: Make recording::memento non-copyable (*) 29f40a8... lto-plugin: use -pthread only for detected targets (*) b0f02ee... Fix ICE on view conversion between struct and integer (*) 9f7f049... libiberty: fix docs typo (*) fd782de... docs: fix position of @end deftypefn (*) 47725f7... docs: fix position of @end deftypefn (*) e85c94d... xtensa: Minor fix for FP constant synthesis (*) cff7248... Daily bump. (*) 86a15b2... libcpp: Avoid pessimizing std::move [PR106272] (*) f70c185... c++: non-dependent call to consteval operator [PR105912] (*) f07778f... c++: dependence of constrained memfn from current inst [PR1 (*) f35d655... libgo: don't include when building gen-sysinfo (*) 1184f67... Use nonzero bits in range-ops to determine if < 0 is false. (*) 554b21e... Clear nonzero mask when inverting ranges. (*) c7970b1... Speed up DOM record_temporary_equivalences (*) 0c5730a... [Ada] Small housekeeping work in gigi (*) 1f3f64b... [Ada] Extend No_Dependence restriction to code generation (*) 351659f... [Ada] Revert recent change in debug info for vector array t (*) 0888e1f... [Ada] Undo questionable renaming in earlier change (*) 258814a... [Ada] Also deal with private actual types in latest change (*) 36ed32c... [Ada] Adjust name of stack checking function (*) 298bbf3... [Ada] Use actual types instead of formal types consistently (*) 45808a5... [Ada] Generate debug info entry for user-defined access sub (*) 589163e... [Ada] Do not generate DW_TAG_typedef for constrained array (*) d927cb5... [Ada] Fix internal error on comparison with access function (*) 2b8c123... [Ada] Fix internal error on instance of Ada.Task_Attributes (*) 6071ef0... [Ada] Fix wrong access check with access-to-unconstrained-a (*) 84d3047... [Ada] Extend No_Dependence restriction to code generation ( (*) d60f61f... [Ada] Fix for bootstrap problem with calling function Syste (*) 9f857be... [Ada] Add support for defaulted Storage_Model_Type aspect a (*) 6beeff0... [Ada] Fix for visibility of aspect expressions inside gener (*) a714ca8... [Ada] Handle bodies-to-inline just like generic templates (*) 4621bae... [Ada] Clarify hardening command-line options that require e (*) 8e3030e... [Ada] Fix incorrect handling of Ghost aspect (*) 4709037... [Ada] Fix proof of runtime unit System.Arith_64 (*) d03a7f8... [Ada] Fix crash on frontend inlining of functions with sing (*) 05e91ac... [Ada] Plug legality loophole for equality operator of untag (*) b872d3f... [Ada] Fix automatic proof on System.Arith_32 (*) 7a03001... [Ada] Fix if expression returning slice (*) 9442524... [Ada] Add cross-references between Integer_Type_For and Sma (*) 6faa271... [Ada] Fix internal error on untagged record type with equal (*) 730814e... [Ada] Fix CodePeer warnings in GNAT sources (*) 1d73dfb... [Ada] Refine type for checking number of pragma arguments (*) e9cad1e... aarch64: Don't return invalid GIMPLE assign statements (*) c479c40... tree-optimization/106249 - unroll-and-jam and LC SSA upate (*) 4399760... Daily bump. (*) 5ae7494... libstdc++: Check for EOF if extraction avoids buffer overfl (*) 6e9d5df... Fortran: error recovery simplifying PACK with invalid argum (*) cab411a... Set nonzero bits from bitwise and operator in range-ops. (*) 32a7535... lto-plugin: implement LDPT_GET_API_VERSION (*) 00eab0c... Add internal functions for iround etc. [PR106253] (*) 9b06b9d... Remove create_lcssa_for_virtual_phi and uses (*) 7005b5e... [Ada] Fix inconsistent comment about expansion of exception (*) 6e3c2ee... [Ada] Fix 0-sized secondary stack allocations (*) 33338e7... [Ada] Use right implementation type for nonbinary-modulus o (*) 729d2e2... [Ada] Spurious use_type clause warning (*) 433cefc... [Ada] Extend No_Dependence restriction to code generation (*) 0ff936f... [Ada] Ada 2020: Allow declarative items mixed with statemen (*) 2b98bb5... [Ada] Don't check for misspelling of Not_A_Restriction_Id (*) 7e5a031... [Ada] Fix confusing error expression on an unknown restrict (*) 3a7a02f... [Ada] Make it clear that gnatmake passes the ball to gprbui (*) fa7ea64... [Ada] Suppress warning in g-socthi__vxworks.adb (*) a24614e... [Ada] Simplify rewriting of attributes into Boolean literal (*) f409489... [Ada] Ignore switches for controlling frontend warnings in (*) 570f43b... [Ada] Do not create large objects for indefinite protected (*) 70c3959... [Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - rem (*) 4fc0910... [Ada] Fix spurious warning on unreferenced internal generic (*) e124352... [Ada] Refine heuristics for unreachable-code warnings (*) 6a64ee3... [Ada] Remove out-of-range warning in unreachable code (*) 6882d60... [Ada] Add one more leading underscore to couple of exported (*) be4ab2a... [Ada] Proper freezing for dispatching expression functions. (*) a8d17a8... [Ada] Warn on unset objects in packages with no bodies (*) a54ad45... [Ada] Accept aspect Yield on subprogram bodies acting as sp (*) a31eda1... [Ada] Annotate libraries with returning annotation (*) 01bf0d6... [Ada] Fix buffer overrun for small string concatenation at (*) 7ce2938... [Ada] Avoid namespace pollution for Next and Previous (*) 1710ba9... [Ada] Warn about unreachable code after calls with No_Retur (*) 2148f29... [Ada] Clean up scanner (*) fe6f256... [Ada] Ignore exceptions in task termination handlers (*) 1ef1ac7... [Ada] Fix missing Overflow and Range checks (*) 829b5a6... [Ada] Add new unbounded and indefinite formal doubly linked (*) 474946c... [Ada] Remove excessive guard in detection of access-to-vari (*) e80daf0... aarch64: Remove redundant builtins code (*) 5493ee7... i386 testsuite: cope with --enable-default-pie (*) 220bef4... libgomp: Add tailing \n to gomp_debug (*) 8be17e2... libstdc++: Prefer const T to std::add_const_t (*) 3723aed... XFAIL 'offloading_enabled' diagnostics issue in 'libgomp.oa (*) c72d471... Daily bump. (*) 2701442... libsanitizer: cherry-pick 9cf13067cb5088626ba7 from upstrea (*) 12a9b98... Avoid calling range_from_dom when dominator is already reso (*) c3ed9e0... Improved Scalar-To-Vector (STV) support for TImode to V1TIm (*) e7a7fed... vect: Restore optab_vector argument [PR106250] (*) cb7b01d... c-family: Fix option check in handle_pragma_diagnostic [PR1 (*) f1782a0... More update-ssa speedup (*) 415d2c3... tree-optimization/106228 - fixup last change (*) 7452671... More update-ssa speedup (*) 06b2a2a... Enhance '_Pragma' diagnostics verification in OMP C/C++ tes (*) 4c94382... target/105459 - allow delayed target option node fixup (*) 79f18ac... tree-optimization/106228 - fix vect_setup_realignment virtu (*) 0a7e721... Implement global ranges for all vrange types (SSA_NAME_RANG (*) b53ebbc... Daily bump. (*) 0587cef... c: Fix location for _Pragma tokens [PR97498] (*) 4ebbf39... testsuite: Require int128 for gcc.dg/pr106063.c (*) c106825... Cleanups to irange::nonzero bit code. (*) a8cfc36... loongarch: avoid unnecessary sign-extend after 32-bit divis (*) a5d3826... loongarch: add alternatives for idiv insns to improve code (*) 1fa42d6... loongarch: fix mulsidi3_64bit instruction (*) aa2eb25... Daily bump. (*) 030a53c... Set VR_VARYING in irange::irange_single_pair_union. (*) 7a16d39... [PATCH v3] c: Extend the -Wpadded message with actual paddi (*) d9fa599... [PATCH] match.pd: Add new bitwise arithmetic pattern [PR983 (*) 46dc26f... [RFA] Improve initialization of objects when the initialize (*) 8f18020... libstdc++: Remove obsolete comment in header (*) b434c94... Improve preservation of FLAGS_REG mode in i386.md's peephol (*) 002d81a... Support *testdi_not_doubleword during STV pass on x86. (*) 84ff566... [PATCH][s390]: Fix the usage of store_bit_field in the back (*) 71e3daa... Fix tree-opt/PR106087: ICE with inline-asm with multiple ou (*) 0fe604a... Daily bump. (*) 55bb77b... libbacktrace: check for sys/link.h (*) b984b84... testsuite: Fix tree-ssa/alias-access-path-13.c on 32bit pla (*) 2bd1561... diagnostics: Make line-ending logic consistent with libcpp (*) 6da7f7c... sanitizer: Fix hwasan related option conflicts [PR106132] (*) cf3a120... tree-optimization/106226 - move vectorizer virtual SSA upda (*) 95a234f... lto-dump: Do not print output file (*) f7854e2... middle-end: don't lower past veclower [PR106063] (*) faa0c32... Fix one issue in OpenMP 'requires' directive diagnostics (*) 13f4409... middle-end: Use subregs to expand COMPLEX_EXPR to set the l (*) bf36956... i386: Handle memory operand for direct call to cvtps2pd in (*) aa8fd7f... LoongArch: Modify fp_sp_offset and gp_sp_offset's calculati (*) 6345c41... Daily bump. (*) d8ddf1f... libbacktrace: don't exit Mach-O dyld library loop on one fa (*) 9ed5779... libbacktrace: don't let "make clean" remove allocfail.sh (*) 7b90f07... c++: generic targs and identity substitution [PR105956] (*) 52f538f... analyzer: use label_text for superedge::get_description (*) a8dce13... Convert label_text to C++11 move semantics (*) 897b3b3... analyzer: fix false positives from -Wanalyzer-tainted-divis (*) ad6135e... libstdc++: Remove workaround in __gnu_cxx::char_traits::mov (*) 9de8fbe... statistics.cc: Add check to see if fn is not NULL in get_fu (*) 81bec06... c++: -Woverloaded-virtual and dtors [PR87729] (*) (*) 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.