From 99b287b8ef51a0be52f7400879a619dc5f993f31 Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Sat, 16 Oct 2021 14:45:06 +0200 Subject: [PATCH] Fix wrong code in ldost-strlen-1.c gcc/ChangeLog: PR tree-optimization/102720 * tree-ssa-structalias.c (compute_points_to_sets): Fix producing of call used and clobbered sets. --- gcc/tree-ssa-structalias.c | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 6f12a66..2e6513b 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -7541,17 +7541,18 @@ compute_points_to_sets (void) determine_global_memory_access (stmt, NULL, &reads_global_memory, &uses_global_memory); - if (!uses_global_memory) - ; - else if ((vi = lookup_call_use_vi (stmt)) != NULL) + if ((vi = lookup_call_use_vi (stmt)) != NULL) { *pt = find_what_var_points_to (cfun->decl, vi); /* Escaped (and thus nonlocal) variables are always implicitly used by calls. */ /* ??? ESCAPED can be empty even though NONLOCAL always escaped. */ - pt->nonlocal = uses_global_memory; - pt->escaped = uses_global_memory; + if (uses_global_memory) + { + pt->nonlocal = uses_global_memory; + pt->escaped = uses_global_memory; + } } else if (uses_global_memory) { @@ -7572,17 +7573,18 @@ compute_points_to_sets (void) determine_global_memory_access (stmt, &writes_global_memory, NULL, NULL); - if (!writes_global_memory) - ; - else if ((vi = lookup_call_clobber_vi (stmt)) != NULL) + if ((vi = lookup_call_clobber_vi (stmt)) != NULL) { *pt = find_what_var_points_to (cfun->decl, vi); /* Escaped (and thus nonlocal) variables are always implicitly clobbered by calls. */ /* ??? ESCAPED can be empty even though NONLOCAL always escaped. */ - pt->nonlocal = writes_global_memory; - pt->escaped = writes_global_memory; + if (writes_global_memory) + { + pt->nonlocal = writes_global_memory; + pt->escaped = writes_global_memory; + } } else if (writes_global_memory) { -- 2.7.4