From 617695cdc2b3d950f1e4deb5ea85d5cc302943f4 Mon Sep 17 00:00:00 2001
From: Jan Hubicka <jh@suse.cz>
Date: Sat, 31 Oct 2020 08:56:40 +0100
Subject: Handle fnspec in local ipa-modref

	* ipa-modref.c (modref_summary::dump): Dump writes_errno.
	(parm_map_for_arg): Break out from ...
	(merge_call_side_effects): ... here.
	(get_access_for_fnspec): New function.
	(process_fnspec): New function.
	(analyze_call): Use it.
	(analyze_stmt): Update.
	(analyze_function): Initialize writes_errno.
	(modref_summaries::duplicate): Duplicate writes_errno.
	* ipa-modref.h (struct modref_summary): Add writes_errno.
	* tree-ssa-alias.c (call_may_clobber_ref_p_1): Check errno.
---
 gcc/ipa-modref.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gcc/ipa-modref.h')

diff --git a/gcc/ipa-modref.h b/gcc/ipa-modref.h
index 8828104..31ceffa 100644
--- a/gcc/ipa-modref.h
+++ b/gcc/ipa-modref.h
@@ -34,6 +34,7 @@ struct GTY(()) modref_summary
   ~modref_summary ();
   void dump (FILE *);
   bool useful_p (int ecf_flags);
+  bool writes_errno;
 };
 
 modref_summary *get_modref_function_summary (cgraph_node *func);
-- 
cgit v1.1