PR inline-asm/85022

	* alias.c (write_dependence_p): Don't require for x_canonicalized
	non-VOIDmode if x has VOIDmode.

	* c-c++-common/torture/pr85022.c: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@258795 138bc75d-0d04-0410-961f-82ee72b054a4

Author: jakub

gcc/ChangeLog

@@ -1,5 +1,9 @@
 2018-03-23  Jakub Jelinek  <[email protected]>
 
+	PR inline-asm/85022
+	* alias.c (write_dependence_p): Don't require for x_canonicalized
+	non-VOIDmode if x has VOIDmode.
+
 	PR sanitizer/85029
 	* sanopt.c (maybe_optimize_ubsan_ptr_ifn): If DECL_REGISTER (base),
 	just don't try to optimize it rather than assert it never happens.

gcc/alias.c

@@ -2999,7 +2999,8 @@ write_dependence_p (const_rtx mem,
   int ret;
 
   gcc_checking_assert (x_canonicalized
-		       ? (x_addr != NULL_RTX && x_mode != VOIDmode)
+		       ? (x_addr != NULL_RTX
+			  && (x_mode != VOIDmode || GET_MODE (x) == VOIDmode))
 		       : (x_addr == NULL_RTX && x_mode == VOIDmode));
 
   if (MEM_VOLATILE_P (x) && MEM_VOLATILE_P (mem))

gcc/testsuite/ChangeLog

@@ -1,5 +1,8 @@
 2018-03-23  Jakub Jelinek  <[email protected]>
 
+	PR inline-asm/85022
+	* c-c++-common/torture/pr85022.c: New test.
+
 	PR sanitizer/85029
 	* g++.dg/ubsan/pr85029.C: New test.
 

gcc/testsuite/c-c++-common/torture/pr85022.c

@@ -0,0 +1,9 @@
+/* PR inline-asm/85022 */
+
+extern struct B b;
+
+void
+foo ()
+{
+  __asm ("" : "+m" (b));
+}