Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 438464c2044ce0708e644ba3abade010558e924c..b71910541538f854d644f2086a14f15d6df974cc 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,14 @@
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * 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  <ebotcazou@adacore.com>
+
+       * config/i386/i386.c (asm_preferred_eh_data_format): Always use the
+       PIC encodings for PE-COFF targets.
+
 2021-06-30  Pat Haugen  <pthaugen@linux.ibm.com>
 
        * config/rs6000/power10.md (power10-fused-load, power10-fused-store,

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 7369508a556ad132485eee8ce22f695d57bb82ac..7693fe4e2c5a5ba41e5fa613794e26aa1562a552 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210702
+20210703

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index e97ce0f8927f4c9f93e2facfe654f7ef888efcfb..bb37ee9187cb85706eedf05408e8f9cdd2ac92a2 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,133 @@
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * store.cc (binding_cluster::get_any_binding): Make symbolic reads
+       from a cluster with concrete bindings return unknown.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * 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  <dmalcolm@redhat.com>
+
+       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  <dmalcolm@redhat.com>
+
+       * engine.cc (worklist::key_t::cmp): Move sort by call_string to
+       before SCC.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * 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  <dmalcolm@redhat.com>
+
+       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  <dmalcolm@redhat.com>
+
+       * 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  <dmalcolm@redhat.com>
+
+       * 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  <dmalcolm@redhat.com>
+
+       * svalue.h (conjured_svalue::iterator_t): Delete.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * store.h (store::get_direct_binding): Remove unused decl.
+       (store::get_default_binding): Likewise.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * svalue.cc (poisoned_svalue::dump_to_pp): Dump type.
+       (compound_svalue::dump_to_pp): Dump any type.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       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  <dmalcolm@redhat.com>
+
+       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 77ec7a68a229e7c95f7cc4c50efc49e4d9e71a9e..80053935adc4d91cf99699fe46958993b51ab33c 100644 (file)
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,12 @@
+2021-07-02  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+       Backported from master:
+       2021-07-02  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+       PR d/101282
+       * d-codegen.cc (build_assign): Force target_expr on RHS for non-POD
+       assignment expressions.
+
 2021-06-11  Iain Buclaw  <ibuclaw@gdcproject.org>
 
        Backported from master:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0519ce63c3c5ee6ec37b6bb052252305e09590d9..78a2e30e4ec137bbc5450337dfb75fa4a37e7f8d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,52 @@
+2021-07-02  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+       Backported from master:
+       2021-07-02  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+       PR d/101282
+       * gdc.dg/torture/pr101282.d: New test.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * 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  <dmalcolm@redhat.com>
+
+       * jit.dg/test-asm.c: Remove i?86-*-* from target specifier.
+       * jit.dg/test-asm.cc: Likewise.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * gcc.dg/analyzer/symbolic-7.c: New test.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       * 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  <dmalcolm@redhat.com>
+
+       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  <dmalcolm@redhat.com>
+
+       PR analyzer/100615
+       * gcc.dg/analyzer/pr100615.c: New test.
+
+2021-07-02  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/100244
+       * g++.dg/analyzer/pr100244.C: New test.
+
 2021-06-29  Marek Polacek  <polacek@redhat.com>
 
        Backported from master: