diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 331bc1c0fdb..36adf97913e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,74 @@ +2025-02-15 Jakub Jelinek + + PR tree-optimization/98028 + * vr-values.cc (check_for_binary_op_overflow): Try to use a known + relationship betwen op0/op1 to statically determine overflow state. + +2025-02-15 Robin Dapp + + * config/riscv/autovec-opt.md + (*single_widen_first_): + New combine "bridge" pattern. + +2025-02-15 Keith Packard + + * config/rx/rx.md (rx_cmpstrn): Correctly handle len=0 case. + +2025-02-15 David Malcolm + + * libsarifreplay.cc (sarif_replayer::handle_result_obj): Call + handle_fix_object if we see a single-element "fixes" array. + (sarif_replayer::handle_fix_object): New. + (sarif_replayer::handle_artifact_change_object): New. + +2025-02-15 David Malcolm + + * libsarifreplay.cc (should_add_rule_p): New. + (sarif_replayer::handle_result_obj): Use it to filter out rules + that don't make sense. + +2025-02-15 David Malcolm + + * libsarifreplay.cc (sarif_replayer::handle_result_obj): Treat any + relatedLocations without messages as secondary ranges within the + diagnostic. Doing so requires stashing the notes until after + the diagnostic has been finished, so that relatedLocations can be + walked in one pass. + +2025-02-15 David Malcolm + + PR sarif-replay/118881 + * doc/libgdiagnostics/topics/physical-locations.rst: Add + diagnostic_physical_location_get_file. + * libgdiagnostics++.h (physical_location::get_file): New wrapper. + (diagnostic::add_location): Likewise. + * libgdiagnostics.cc (diagnostic_manager::get_file_by_name): New. + (diagnostic_physical_location::get_file): New. + (diagnostic_physical_location_get_file): New. + * libgdiagnostics.h (diagnostic_physical_location_get_file): New. + * libgdiagnostics.map (diagnostic_physical_location_get_file): New. + * libsarifreplay.cc (class annotation): New. + (add_any_annotations): New. + (sarif_replayer::handle_result_obj): Collect vectors of + annotations in the calls to handle_location_object and apply them + to "err" and to "note" as appropriate. + (sarif_replayer::handle_thread_flow_location_object): Pass nullptr + for annotations. + (sarif_replayer::handle_location_object): Handle ยง3.28.6 + "annotations" property, using it to populate a new + "out_annotations" param. + +2025-02-15 Thomas Schwinge + + * config/nvptx/nvptx.cc (nvptx_record_needed_fndecl): Tag as + 'static'. + +2025-02-15 Jin Ma + + PR target/118872 + * config/riscv/riscv.cc (riscv_fntype_abi): Strengthen the logic + of the check to avoid missing the error report. + 2025-02-14 Georg-Johann Lay PR target/118878 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 92ec7cafd89..b0189f2c256 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20250215 +20250216 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 2de178062f8..f393d320e3c 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,16 @@ +2025-02-15 Nathaniel Shead + + PR c++/118846 + * cp-tree.h (WILDCARD_TYPE_P): Include UNBOUND_CLASS_TEMPLATE. + * decl2.cc (min_vis_expr_r): Don't assume a TEMPLATE_DECL will + be a function or variable. + +2025-02-15 Jason Merrill + + PR c++/118053 + * constexpr.cc (cxx_eval_constant_expression): Generalize + DECL_VALUE_EXPR invisiref handling. + 2025-02-14 Marek Polacek * pt.cc (tsubst_expr) : Assign the result of diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 934d70f3a2e..983e427aef0 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,36 @@ +2025-02-15 Harald Anlauf + + PR fortran/118080 + * gfortran.texi: Adjust documentation. + * trans-decl.cc (create_function_arglist): Adjust to pass hidden + presence flag also for derived type dummies with VALUE,OPTIONAL + attribute. + * trans-expr.cc (gfc_conv_expr_present): Expect hidden presence + flag also for derived type dummies with VALUE,OPTIONAL attribute. + (conv_cond_temp): Adjust to allow derived types. + (conv_dummy_value): Extend to handle derived type dummies with + VALUE,OPTIONAL attribute. + (gfc_conv_procedure_call): Adjust for actual arguments passed to + derived type dummies with VALUE,OPTIONAL attribute. + * trans-types.cc (gfc_get_function_type): Adjust fndecl for + hidden presence flag. + +2025-02-15 Jerry DeLisle + + PR fortran/117430 + * resolve.cc (resolve_transfer): Change gfc_notify_std to + gfc_error. + +2025-02-15 Andrew Pinski + + PR fortran/118159 + * invoke.texi: Remove mention of defunct web site for Coco. + +2025-02-15 Thomas Koenig + + * frontend-passes.cc (check_externals_procedure): Copy + typespec from old to new symbol. + 2025-02-13 Thomas Koenig PR fortran/118845 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8d3ba1abdb1..bb12ac4011b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,82 @@ +2025-02-15 Jakub Jelinek + + PR tree-optimization/98028 + * gcc.dg/tree-ssa/pr98028.c: New test. + +2025-02-15 Harald Anlauf + + PR fortran/118080 + * gfortran.dg/value_optional_2.f90: New test. + +2025-02-15 Jerry DeLisle + + PR fortran/117430 + * gfortran.dg/c_loc_test_17.f90: Use an assignment rather than + PRINT. + * gfortran.dg/c_ptr_tests_10.f03: Use a transfer function. + * gfortran.dg/c_ptr_tests_16.f90: Use an assignment. + * gfortran.dg/c_ptr_tests_9.f03: Use a transfer function. + * gfortran.dg/init_flag_17.f90: Likewise. + * gfortran.dg/pr32601_1.f03: Use an assignment. + +2025-02-15 Robin Dapp + + * gcc.target/riscv/rvv/autovec/pr117722.c: Scan for vminu and + vmaxu. + +2025-02-15 Robin Dapp + + * gcc.target/riscv/rvv/autovec/reduc/reduc-8.c: Scan for add. + * gcc.target/riscv/rvv/autovec/reduc/reduc-9.c: Scan for fadd. + +2025-02-15 David Malcolm + + * sarif-replay.dg/2.1.0-valid/3.27.30-fixes-1.sarif: New test. + * sarif-replay.dg/2.1.0-valid/3.27.30-fixes-2.sarif: New test. + * sarif-replay.dg/2.1.0-valid/3.27.30-fixes-3.sarif: New test. + +2025-02-15 David Malcolm + + * sarif-replay.dg/2.1.0-valid/3.28.6-annotations-1.sarif: Update + expected output to remove trailing " [error]". + * sarif-replay.dg/2.1.0-valid/unlabelled-secondary-locations.sarif: + Likewise. + +2025-02-15 David Malcolm + + * sarif-replay.dg/2.1.0-valid/unlabelled-secondary-locations.sarif: + New test. + +2025-02-15 David Malcolm + + PR sarif-replay/118881 + * sarif-replay.dg/2.1.0-valid/3.28.6-annotations-1.sarif: New test. + +2025-02-15 Nathaniel Shead + + PR c++/118846 + * g++.dg/modules/pr118846_a.C: New test. + * g++.dg/modules/pr118846_b.C: New test. + +2025-02-15 Jason Merrill + + PR c++/118053 + * g++.dg/cpp1y/constexpr-lambda1.C: Add -O. + +2025-02-15 Jason Merrill + + PR c++/118053 + * g++.dg/cpp1y/constexpr-lambda1.C: New test. + +2025-02-15 Thomas Koenig + + * gfortran.dg/interface_54.f90: New test. + +2025-02-15 Jin Ma + + PR target/118872 + * gcc.target/riscv/rvv/base/pr118872.c: New test. + 2025-02-14 Marek Polacek PR c++/83144 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 50b89877e86..718b64d8aaf 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,32 @@ +2025-02-15 Jonathan Wakely + + * include/bits/shared_ptr_base.h: Do not include . + +2025-02-15 Jonathan Wakely + + PR libstdc++/100612 + * include/std/thread (__pmf_expects_stop_token): Constrain + variable template specialization with concept. Add comment. + +2025-02-15 Jonathan Wakely + + * include/bits/range_access.h (rbegin, rend, crbegin, crend): + Add conditional noexcept, as per P3623R0. + * testsuite/24_iterators/headers/iterator/range_access.cc: Add + noexcept-specifier to rbegin, rend, crbegin and crend + declarations. + +2025-02-15 Jonathan Wakely + + * testsuite/24_iterators/headers/iterator/range_access_c++11.cc: + Removed. + * testsuite/24_iterators/headers/iterator/range_access_c++14.cc: + Removed. + * testsuite/24_iterators/headers/iterator/range_access_c++17.cc: + Removed. + * testsuite/24_iterators/headers/iterator/range_access.cc: + New test. + 2025-02-14 Andrew Pinski PR libstdc++/118865