From 62125ef043e19c58780bc06d0e2f2221bbbf28f6 Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Mon, 1 Mar 2021 14:36:11 +0100 Subject: [PATCH] Fix ICE in compute_fn_summary PR ipa/98338 * ipa-fnsummary.c (compute_fn_summary): Fix sanity check. (cherry picked from commit 150bde36c119eff4b8a74667c9d728d6a8a5e8a1) --- gcc/ipa-fnsummary.c | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/gcc/ipa-fnsummary.c b/gcc/ipa-fnsummary.c index e07c9b3bba01..1105f6ae5c2c 100644 --- a/gcc/ipa-fnsummary.c +++ b/gcc/ipa-fnsummary.c @@ -2986,11 +2986,18 @@ compute_fn_summary (struct cgraph_node *node, bool early) info->estimated_stack_size = size_info->estimated_self_stack_size; /* Code above should compute exactly the same result as - ipa_update_overall_fn_summary but because computation happens in - different order the roundoff errors result in slight changes. */ + ipa_update_overall_fn_summary except for case when speculative + edges are present since these are accounted to size but not + self_size. Do not compare time since different order the roundoff + errors result in slight changes. */ ipa_update_overall_fn_summary (node); - /* In LTO mode we may have speculative edges set. */ - gcc_assert (in_lto_p || size_info->size == size_info->self_size); + if (flag_checking) + { + for (e = node->indirect_calls; e; e = e->next_callee) + if (e->speculative) + break; + gcc_assert (e || size_info->size == size_info->self_size); + } } -- 2.47.2