From f0cbae2670485cdbf26755fe187a987a42eebf84 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Tue, 19 May 2020 14:34:25 -0400 Subject: [PATCH 157/179] FIXME: handle phi nodes --- gcc/analyzer/region-model2.cc | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc index 42188420f35..d4297db959c 100644 --- a/gcc/analyzer/region-model2.cc +++ b/gcc/analyzer/region-model2.cc @@ -4992,6 +4992,7 @@ region_model2::handle_phi (const gphi *phi, if (is_back_edge && rhs_sval->get_kind () != svalue2::SK_UNKNOWN) { + //FIXME: /* If we have a back edge, we probably have a loop. Use an unknown value, to avoid effectively unrolling the loop. @@ -5000,12 +5001,7 @@ region_model2::handle_phi (const gphi *phi, redundant unknown values; hence we need to purge svalue2s before inserting the state into the exploded graph, to collect unused svalue2s. */ -#if 1 - gcc_unreachable (); // FIXME -#else - set_to_new_unknown_value (get_lvalue (lhs, ctxt), - TREE_TYPE (lhs), ctxt); -#endif + mark_region_as_unknown (get_lvalue (lhs, ctxt)); } else set_value (get_lvalue (lhs, ctxt), rhs_sval, ctxt); -- 2.21.0