* ifcvt.c (noce_try_cmove_arith): Use may_trap_or_fault_p in lieu of

	may_trap_p to detect loads that may trap of fault.


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

1 files changed, 15 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/opt21_pkg.ads b/gcc/testsuite/gnat.dg/opt21_pkg.ads
new file mode 100644
index 00000000000..251bf847748
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/opt21_pkg.ads
@@ -0,0 +1,15 @@
+with System;
+
+package Opt21_Pkg is
+
+   type R is record
+      Ptr : System.Address := System.Null_Address;
+   end record;
+
+   type Obj is access all R;
+
+   function Get_Object (Object : not null access R) return System.Address;
+
+   function Convert (W : Obj) return System.Address;
+
+end Opt21_Pkg;