--- ./gdb/rs6000-tdep.c_orig	2016-02-08 05:14:52.000000000 -0600
+++ ./gdb/rs6000-tdep.c	2016-02-08 05:15:41.000000000 -0600
@@ -3198,6 +3198,9 @@
 	}
     }
 
+  if (fdata.frameless && !fdata.nosavedpc)
+   fdata.frameless = 0;
+
   if (!fdata.frameless)
     {
       /* Frameless really means stackless.  */