From: GCC Administrator Date: Sat, 3 Jul 2021 00:18:10 +0000 (+0000) Subject: Daily bump. X-Git-Tag: releases/gcc-11.2.0~115 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a4f5e3962fbbb8632cc3def738ab592417c32f5f;p=thirdparty%2Fgcc.git Daily bump. --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 438464c2044c..b71910541538 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,14 @@ +2021-07-02 David Malcolm + + * diagnostic-show-locus.c (diagnostic_show_locus): Don't reject + printing the same location twice if there are fix-it hints, + multiple locations, or a label. + +2021-07-02 Eric Botcazou + + * config/i386/i386.c (asm_preferred_eh_data_format): Always use the + PIC encodings for PE-COFF targets. + 2021-06-30 Pat Haugen * config/rs6000/power10.md (power10-fused-load, power10-fused-store, diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 7369508a556a..7693fe4e2c5a 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210702 +20210703 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index e97ce0f8927f..bb37ee9187cb 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,133 @@ +2021-07-02 David Malcolm + + * store.cc (binding_cluster::get_any_binding): Make symbolic reads + from a cluster with concrete bindings return unknown. + +2021-07-02 David Malcolm + + * region-model-manager.cc + (region_model_manager::get_or_create_int_cst): New. + (region_model_manager::maybe_undo_optimize_bit_field_compare): Use + it to simplify away a local tree. + * region-model.cc (region_model::on_setjmp): Likewise. + (region_model::on_longjmp): Likewise. + * region-model.h (region_model_manager::get_or_create_int_cst): + New decl. + * store.cc (binding_cluster::zero_fill_region): Use it to simplify + away a local tree. + +2021-07-02 David Malcolm + + PR analyzer/99212 + PR analyzer/101082 + * engine.cc: Include "target.h". + (impl_run_checkers): Log BITS_BIG_ENDIAN, BYTES_BIG_ENDIAN, and + WORDS_BIG_ENDIAN. + * region-model-manager.cc + (region_model_manager::maybe_fold_binop): Move support for masking + via ARG0 & CST into... + (region_model_manager::maybe_undo_optimize_bit_field_compare): + ...this new function. Flatten by converting from nested + conditionals to a series of early return statements to reject + failures. Reject if type is not unsigned_char_type_node. + Handle BYTES_BIG_ENDIAN when determining which bits are bound + in the binding_map. + * region-model.h + (region_model_manager::maybe_undo_optimize_bit_field_compare): + New decl. + * store.cc (bit_range::dump): New function. + * store.h (bit_range::dump): New decl. + +2021-07-02 David Malcolm + + * engine.cc (worklist::key_t::cmp): Move sort by call_string to + before SCC. + +2021-07-02 David Malcolm + + * region-model.cc (region_model::get_lvalue_1): Make const. + (region_model::get_lvalue): Likewise. + (region_model::get_rvalue_1): Likewise. + (region_model::get_rvalue): Likewise. + (region_model::deref_rvalue): Likewise. + (region_model::get_rvalue_for_bits): Likewise. + * region-model.h (region_model::get_lvalue): Likewise. + (region_model::get_rvalue): Likewise. + (region_model::deref_rvalue): Likewise. + (region_model::get_rvalue_for_bits): Likewise. + (region_model::get_lvalue_1): Likewise. + (region_model::get_rvalue_1): Likewise. + +2021-07-02 David Malcolm + + PR analyzer/99212 + * region-model-manager.cc + (region_model_manager::maybe_fold_binop): Add support for folding + BIT_AND_EXPR of compound_svalue and a mask constant. + * region-model.cc (region_model::get_rvalue_1): Implement + BIT_FIELD_REF in terms of... + (region_model::get_rvalue_for_bits): New function. + * region-model.h (region_model::get_rvalue_for_bits): New decl. + * store.cc (bit_range::from_mask): New function. + (selftest::test_bit_range_intersects_p): New selftest. + (selftest::assert_bit_range_from_mask_eq): New. + (ASSERT_BIT_RANGE_FROM_MASK_EQ): New macro. + (selftest::assert_no_bit_range_from_mask_eq): New. + (ASSERT_NO_BIT_RANGE_FROM_MASK): New macro. + (selftest::test_bit_range_from_mask): New selftest. + (selftest::analyzer_store_cc_tests): Call the new selftests. + * store.h (bit_range::intersects_p): New. + (bit_range::from_mask): New decl. + (concrete_binding::get_bit_range): New accessor. + (store_manager::get_concrete_binding): New overload taking + const bit_range &. + +2021-07-02 David Malcolm + + * analyzer.h (int_size_in_bits): New decl. + * region.cc (int_size_in_bits): New function. + (region::get_bit_size): Reimplement in terms of the above. + +2021-07-02 David Malcolm + + * store.cc (concrete_binding::dump_to_pp): Move bulk of + implementation to... + (bit_range::dump_to_pp): ...this new function. + (bit_range::cmp): New. + (concrete_binding::overlaps_p): Update for use of bit_range. + (concrete_binding::cmp_ptr_ptr): Likewise. + * store.h (struct bit_range): New. + (class concrete_binding): Replace fields m_start_bit_offset and + m_size_in_bits with new field m_bit_range. + +2021-07-02 David Malcolm + + * svalue.h (conjured_svalue::iterator_t): Delete. + +2021-07-02 David Malcolm + + * store.h (store::get_direct_binding): Remove unused decl. + (store::get_default_binding): Likewise. + +2021-07-02 David Malcolm + + * svalue.cc (poisoned_svalue::dump_to_pp): Dump type. + (compound_svalue::dump_to_pp): Dump any type. + +2021-07-02 David Malcolm + + PR analyzer/100615 + * sm-malloc.cc: Include "analyzer/function-set.h". + (malloc_state_machine::on_stmt): Call unaffected_by_call_p and + bail on the functions it recognizes. + (malloc_state_machine::unaffected_by_call_p): New. + +2021-07-02 David Malcolm + + PR analyzer/100244 + * sm-malloc.cc (free_of_non_heap::describe_state_change): + Bulletproof against change.m_expr being NULL. + 2021-04-27 Release Manager * GCC 11.1.0 released. diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index 77ec7a68a229..80053935adc4 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,12 @@ +2021-07-02 Iain Buclaw + + Backported from master: + 2021-07-02 Iain Buclaw + + PR d/101282 + * d-codegen.cc (build_assign): Force target_expr on RHS for non-POD + assignment expressions. + 2021-06-11 Iain Buclaw Backported from master: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0519ce63c3c5..78a2e30e4ec1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,52 @@ +2021-07-02 Iain Buclaw + + Backported from master: + 2021-07-02 Iain Buclaw + + PR d/101282 + * gdc.dg/torture/pr101282.d: New test. + +2021-07-02 David Malcolm + + * jit.dg/test-vector-rvalues.cc (check_div): Add specialization + for v4f, to avoid relying on exact floating-point equality. + * jit.dg/test-vector-types.cc (check_div): Likewise. + +2021-07-02 David Malcolm + + * jit.dg/test-asm.c: Remove i?86-*-* from target specifier. + * jit.dg/test-asm.cc: Likewise. + +2021-07-02 David Malcolm + + * gcc.dg/analyzer/symbolic-7.c: New test. + +2021-07-02 David Malcolm + + * gcc.dg/analyzer/loop-0-up-to-n-by-1-with-iter-obj.c: Update + expected number of enodes after the loop. + * gcc.dg/analyzer/paths-8.c: New test. + +2021-07-02 David Malcolm + + PR analyzer/99212 + * gcc.dg/analyzer/bitfields-1.c: New test. + * gcc.dg/analyzer/data-model-1.c (struct sbits): Make bitfields + explicitly signed. + (test_44): Update test values assigned to the bits to ones that + fit in the range of the bitfield type. Remove xfails. + (test_45): Remove xfails. + +2021-07-02 David Malcolm + + PR analyzer/100615 + * gcc.dg/analyzer/pr100615.c: New test. + +2021-07-02 David Malcolm + + PR analyzer/100244 + * g++.dg/analyzer/pr100244.C: New test. + 2021-06-29 Marek Polacek Backported from master: