Hi,
while adding check for gimple_clobber I reversed the return value
so instead of ignoring the statement ipa-modref gives up.  Fixed thus.
This explains the drop between originally reported disambinguations
stats and ones I got later.

Bootstrapped/regtested x86_64-linux.

gcc/ChangeLog:

2020-09-25  Jan Hubicka  <hubi...@ucw.cz>

        * ipa-modref.c (analyze_stmt): Fix return value for gimple_clobber.

diff --git a/gcc/ipa-modref.c b/gcc/ipa-modref.c
index aa6929ff010..44b844b90db 100644
--- a/gcc/ipa-modref.c
+++ b/gcc/ipa-modref.c
@@ -658,7 +658,7 @@ analyze_stmt (modref_summary *summary, gimple *stmt, bool 
ipa)
 {
   /* There is no need to record clobbers.  */
   if (gimple_clobber_p (stmt))
-    return false;
+    return true;
   /* Analyze all loads and stores in STMT.  */
   walk_stmt_load_store_ops (stmt, summary,
                            analyze_load, analyze_store);

Reply via email to