diff options
| -rw-r--r-- | gcc/ChangeLog | 114 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 65 | ||||
| -rw-r--r-- | gcc/c/ChangeLog | 14 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 35 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 65 | ||||
| -rw-r--r-- | include/ChangeLog | 7 | ||||
| -rw-r--r-- | libgomp/ChangeLog | 32 |
8 files changed, 333 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1f1d3b6..b79620c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,117 @@ +2022-10-24 Martin Liska <mliska@suse.cz> + + PR analyzer/107366 + * diagnostic-format-sarif.cc + (sarif_builder::maybe_make_physical_location_object): Gracefully + reject locations with NULL filename. + +2022-10-24 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106300 + * doc/invoke.texi (Static Analyzer Options): Add "pipe" and + "pipe2" to the list of functions the analyzer has hardcoded + knowledge of. + +2022-10-24 Jason Merrill <jason@redhat.com> + + * tree.h (build_string_literal): New one-argument overloads that + take tree (identifier) and const char *. + * builtins.cc (fold_builtin_FILE) + (fold_builtin_FUNCTION) + * gimplify.cc (gimple_add_init_for_auto_var) + * vtable-verify.cc (verify_bb_vtables): Simplify calls. + +2022-10-24 Martin Liska <mliska@suse.cz> + + PR target/107364 + * common/config/i386/i386-cpuinfo.h (enum processor_vendor): + Reorder enum values as BUILTIN_VENDOR_MAX should not point + in the middle of the valid enum values. + +2022-10-24 Marek Polacek <polacek@redhat.com> + + PR c++/107276 + * tree.cc (maybe_wrap_with_location): Don't create a location wrapper + when the type is erroneous. + +2022-10-24 Wilco Dijkstra <wdijkstr@arm.com> + + PR target/106583 + * config/aarch64/aarch64.cc (aarch64_internal_mov_immediate) + Add support for a bitmask immediate with 2 MOVKs. + (aarch64_check_bitmask): New function after refactorization. + (aarch64_bitmask_imm): Simplify replication of small modes. + Split function into 64-bit only version for efficiency. + (aarch64_move_imm): Move near other immediate functions. + (aarch64_uimm12_shift): Likewise. + (aarch64_clamp_to_uimm12_shift): Likewise. + (aarch64_movk_shift): Likewise. + (aarch64_replicate_bitmask_imm): Likewise. + (aarch64_and_split_imm1): Likewise. + (aarch64_and_split_imm2): Likewise. + (aarch64_and_bitmask_imm): Likewise. + (aarch64_movw_imm): Likewise. + +2022-10-24 Aldy Hernandez <aldyh@redhat.com> + + PR tree-optimization/107355 + * range-op-float.cc (foperator_abs::op1_range): Handle NAN. + +2022-10-24 Tobias Burnus <tobias@codesourcery.com> + + PR middle-end/107236 + * omp-expand.cc (expand_omp_target): Set calls_declare_variant_alt + in DECL_CONTEXT and not to cfun->decl. + * cgraphclones.cc (cgraph_node::create_clone): Copy also the + node's calls_declare_variant_alt value. + +2022-10-24 Kito Cheng <kito.cheng@sifive.com> + + * common/config/riscv/riscv-common.cc (riscv_tunes): New. + (riscv_get_valid_option_values): New. + (TARGET_GET_VALID_OPTION_VALUES): New. + * config/riscv/riscv-cores.def (RISCV_TUNE): New, define options + for tune here. + (RISCV_CORE): Fix comment. + * config/riscv/riscv.cc (riscv_tune_info_table): Move definition to + riscv-cores.def. + +2022-10-24 Aldy Hernandez <aldyh@redhat.com> + + PR tree-optimization/107365 + * value-range.cc (frange::verify_range): Predicate NAN check in + VARYING range on HONOR_NANS instead of flag_finite_math_only. + (range_tests_floats): Same. + (range_tests_floats_various): New. + (range_tests): Call range_tests_floats_various. + +2022-10-24 Torbjörn SVENSSON <torbjorn.svensson@foss.st.com> + Yvan ROUX <yvan.roux@foss.st.com> + + * lto-wrapper.cc: Quote paths in makefile. + +2022-10-24 Ju-Zhe Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv.cc (riscv_legitimize_move): Support (set (mem) (const_poly_int)). + +2022-10-24 Ju-Zhe Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv-vector-builtins-bases.cc: Replace CONSTEXPR + with constexpr throughout. + * config/riscv/riscv-vector-builtins-shapes.cc (SHAPE): Likewise. + * config/riscv/riscv-vector-builtins.cc + (struct registered_function_hasher): Likewise. + * config/riscv/riscv-vector-builtins.h (struct rvv_arg_type_info): + Likewise. + +2022-10-24 Ju-Zhe Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv-vector-switch.def (ENTRY): Remove unused TI/TF vector modes. + +2022-10-24 Ju-Zhe Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv.h (REG_CLASS_CONTENTS): Fix ALL_REGS. + 2022-10-22 Michael Eager <eager@eagercon.com> * config/microblaze/microblaze.cc diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 9c3fc6c..c75820c 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221024 +20221025 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 375a87f..733580a 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,68 @@ +2022-10-24 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/107349 + * varargs.cc (get_va_copy_arg): Fix the non-pointer case. + +2022-10-24 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/107345 + * region-model.cc (region_model::eval_condition_without_cm): + Ensure that constants are on the right-hand side before checking + for them. + +2022-10-24 David Malcolm <dmalcolm@redhat.com> + + * engine.cc (impl_region_model_context::get_malloc_map): Replace + with... + (impl_region_model_context::get_state_map_by_name): ...this. + (impl_region_model_context::get_fd_map): Delete. + (impl_region_model_context::get_taint_map): Delete. + * exploded-graph.h (impl_region_model_context::get_fd_map): + Delete. + (impl_region_model_context::get_malloc_map): Delete. + (impl_region_model_context::get_taint_map): Delete. + (impl_region_model_context::get_state_map_by_name): New. + * region-model.h (region_model_context::get_state_map_by_name): + New vfunc. + (region_model_context::get_fd_map): Convert from vfunc to + function. + (region_model_context::get_malloc_map): Likewise. + (region_model_context::get_taint_map): Likewise. + (noop_region_model_context::get_state_map_by_name): New. + (noop_region_model_context::get_fd_map): Delete. + (noop_region_model_context::get_malloc_map): Delete. + (noop_region_model_context::get_taint_map): Delete. + (region_model_context_decorator::get_state_map_by_name): New. + (region_model_context_decorator::get_fd_map): Delete. + (region_model_context_decorator::get_malloc_map): Delete. + (region_model_context_decorator::get_taint_map): Delete. + +2022-10-24 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106300 + * engine.cc (impl_region_model_context::get_fd_map): New. + * exploded-graph.h (impl_region_model_context::get_fd_map): New + decl. + * region-model-impl-calls.cc (region_model::impl_call_pipe): New. + * region-model.cc (region_model::update_for_int_cst_return): New, + based on... + (region_model::update_for_zero_return): ...this. Reimplement in + terms of the former. + (region_model::on_call_pre): Handle "pipe" and "pipe2". + (region_model::on_call_post): Likewise. + * region-model.h (region_model::impl_call_pipe): New decl. + (region_model::update_for_int_cst_return): New decl. + (region_model::mark_as_valid_fd): New decl. + (region_model_context::get_fd_map): New pure virtual fn. + (noop_region_model_context::get_fd_map): New. + (region_model_context_decorator::get_fd_map): New. + * sm-fd.cc: Include "analyzer/program-state.h". + (fd_state_machine::describe_state_change): Handle transitions from + start state to valid states. + (fd_state_machine::mark_as_valid_fd): New. + (fd_state_machine::on_stmt): Add missing return for "creat". + (region_model::mark_as_valid_fd): New. + 2022-10-19 David Malcolm <dmalcolm@redhat.com> PR analyzer/105765 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 76fe5fe..2ac8eaa 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,17 @@ +2022-10-24 Jakub Jelinek <jakub@redhat.com> + + PR c++/107358 + * c-typeck.cc (build_binary_op): Pass operands before excess precision + promotions to scalar_to_vector call. + +2022-10-24 Arsen Arsenović <arsen@aarsen.me> + + * c-decl.cc (finish_function): Ignore hosted when deciding + whether to implicitly return zero, but check noreturn. + * c-objc-common.cc (c_missing_noreturn_ok_p): Loosen the + requirements to just MAIN_NAME_P when hosted, or `int main' + otherwise. + 2022-10-20 Richard Biener <rguenther@suse.de> PR c/107305 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 3c29b4c..04c8216 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,38 @@ +2022-10-24 Jason Merrill <jason@redhat.com> + + * cp-gimplify.cc (fold_builtin_source_location) + * vtable-class-hierarchy.cc (register_all_pairs): Simplify calls to + build_string_literal. + (build_string_from_id): Remove. + +2022-10-24 Marek Polacek <polacek@redhat.com> + + PR c++/107276 + * typeck.cc (treat_lvalue_as_rvalue_p): Check the return value of move. + +2022-10-24 Jakub Jelinek <jakub@redhat.com> + + PR c++/107358 + * typeck.cc (cp_build_binary_op): Pass operands before excess precision + promotions to scalar_to_vector call. + +2022-10-24 Jakub Jelinek <jakub@redhat.com> + + PR c++/105774 + * constexpr.cc (cxx_eval_increment_expression): For signed types + that promote to int, evaluate PLUS_EXPR or MINUS_EXPR in int type. + +2022-10-24 Arsen Arsenović <arsen@aarsen.me> + + * cp-tree.h (DECL_MAIN_P): Move most logic, besides the hosted + check, from here... + (DECL_MAIN_ANY_P): ... to here, so that it can be reused ... + (DECL_MAIN_FREESTANDING_P): ... here, with an additional + constraint on (hosted OR return type == int) + * decl.cc (finish_function): Use DECL_MAIN_FREESTANDING_P + instead of DECL_MAIN_P, to loosen the hosted requirement, but + check noreturn, before adding implicit returns. + 2022-10-21 Jakub Jelinek <jakub@redhat.com> PR c++/107295 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c77712f..6fa9fb0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,68 @@ +2022-10-24 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/107349 + * gcc.dg/analyzer/stdarg-1-ms_abi.c (pr107349): New. + * gcc.dg/analyzer/stdarg-1-sysv_abi.c (pr107349): New. + * gcc.dg/analyzer/stdarg-1.c (pr107349): New. + +2022-10-24 Martin Liska <mliska@suse.cz> + + PR analyzer/107366 + * gcc.dg/analyzer/sarif-pr107366.c: New test. + +2022-10-24 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/107345 + * gcc.dg/analyzer/pr107345.c: New test. + +2022-10-24 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106300 + * gcc.dg/analyzer/pipe-1.c: New test. + * gcc.dg/analyzer/pipe-glibc.c: New test. + * gcc.dg/analyzer/pipe-manpages.c: New test. + * gcc.dg/analyzer/pipe2-1.c: New test. + +2022-10-24 Marek Polacek <polacek@redhat.com> + + PR c++/107276 + * g++.dg/cpp2a/decomp4.C: New test. + +2022-10-24 Jakub Jelinek <jakub@redhat.com> + + PR c++/107358 + * c-c++-common/pr107358.c: New test. + * g++.dg/cpp1y/pr68180.C: Remove -fexcess-precision=fast from + dg-options. + +2022-10-24 Wilco Dijkstra <wdijkstr@arm.com> + + PR target/106583 + * gcc.target/aarch64/pr106583.c: Add new test. + +2022-10-24 Jakub Jelinek <jakub@redhat.com> + + PR c++/105774 + * g++.dg/cpp1y/constexpr-105774.C: New test. + +2022-10-24 Arsen Arsenović <arsen@aarsen.me> + + * gcc.dg/noreturn-4.c: Removed. + * g++.dg/freestanding-main.C: New test. + * g++.dg/freestanding-nonint-main.C: New test. + * gcc.dg/freestanding-main.c: New test. + * gcc.dg/freestanding-nonint-main.c: New test. + +2022-10-24 Aldy Hernandez <aldyh@redhat.com> + + PR tree-optimization/107355 + * gcc.dg/tree-ssa/pr107355.c: New test. + +2022-10-24 Tobias Burnus <tobias@codesourcery.com> + + PR middle-end/107236 + * gfortran.dg/gomp/target-device-ancestor-6.f90: New test. + 2022-10-21 José Rui Faustino de Sousa <jrfsousa@gmail.com> PR fortran/100097 diff --git a/include/ChangeLog b/include/ChangeLog index 36da72b..b69f2b8 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,10 @@ +2022-10-24 Tobias Burnus <tobias@codesourcery.com> + + * cuda/cuda.h (enum CUdevice_attribute): Add + CU_DEVICE_ATTRIBUTE_UNIFIED_ADDRESSING. + (CU_MEMHOSTALLOC_DEVICEMAP): Define. + (cuMemHostAlloc): Add prototype. + 2022-10-20 Tobias Burnus <tobias@codesourcery.com> * gomp-constants.h (GOMP_DEVICE_HSA): Comment out unused define. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index ed0c023..d61a806 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,35 @@ +2022-10-24 Thomas Schwinge <thomas@codesourcery.com> + + * plugin/plugin-nvptx.c (nvptx_open_device): Initialize + 'ptx_dev->rev_data'. + +2022-10-24 Tobias Burnus <tobias@codesourcery.com> + + * config/nvptx/icv-device.c (GOMP_DEVICE_NUM_VAR): Remove + 'static' for this variable. + * config/nvptx/libgomp-nvptx.h: New file. + * config/nvptx/target.c: Include it. + (GOMP_ADDITIONAL_ICVS): Declare extern var. + (GOMP_REV_OFFLOAD_VAR): Declare var. + (GOMP_target_ext): Handle reverse offload. + * libgomp-plugin.h (GOMP_PLUGIN_target_rev): New prototype. + * libgomp-plugin.c (GOMP_PLUGIN_target_rev): New, call ... + * target.c (gomp_target_rev): ... this new stub function. + * libgomp.h (gomp_target_rev): Declare. + * libgomp.map (GOMP_PLUGIN_1.4): New; add GOMP_PLUGIN_target_rev. + * plugin/cuda-lib.def (cuMemHostAlloc): Add. + * plugin/plugin-nvptx.c: Include libgomp-nvptx.h. + (struct ptx_device): Add rev_data member. + (nvptx_open_device): Remove async_engines query, last used in + r10-304-g1f4c5b9b; add unified-address assert check. + (GOMP_OFFLOAD_get_num_devices): Claim unified address + support. + (GOMP_OFFLOAD_load_image): Free rev_fn_table if no + offload functions exist. Make offload var available + on host and device. + (rev_off_dev_to_host_cpy, rev_off_host_to_dev_cpy): New. + (GOMP_OFFLOAD_run): Handle reverse offload. + 2022-10-21 Thomas Schwinge <thomas@codesourcery.com> PR tree-optimization/107195 |