From f1a3bfae2901c3120b603c69882a6032b31cf95b Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Wed, 22 Apr 2020 19:07:46 -0400 Subject: [PATCH 070/179] FIXME: implement region_model2::copy_region --- gcc/analyzer/region-model2.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc index f9125d68dfd..059905e227d 100644 --- a/gcc/analyzer/region-model2.cc +++ b/gcc/analyzer/region-model2.cc @@ -1279,14 +1279,16 @@ region2::get_inherited_child_sval (region2 *child, void region_model2::copy_region (region2 *dst_reg, region2 *src_reg, - region_model2_context */*ctxt*/) + region_model2_context *ctxt) { gcc_assert (dst_reg); gcc_assert (src_reg); if (dst_reg == src_reg) return; - gcc_unreachable (); + svalue2 *sval = get_store_value (src_reg); + set_value (dst_reg, sval, ctxt); + #if 0 /* Copy across any value for the src region2 itself. */ svalue2 *sval = src_reg->get_value (*this, true, ctxt); -- 2.21.0