* eval.c (Fprogn): Check that BODY is a proper list.

2 files changed, 8 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 3d6725f6cd5..cc8d7f5edee 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
 2013-07-23  Paul Eggert  <eggert@cs.ucla.edu>
 
+        * eval.c (Fprogn): Check that BODY is a proper list.
+
         Tune UNEVALLED functions by using XCAR instead of Fcar, etc.
         * data.c (Fsetq_default):
         * eval.c (Fif, Fcond, Fprog1, Fsetq, Fquote, Ffunction, Fdefvar)
diff --git a/src/eval.c b/src/eval.c
index 6cb2b7a92b8..e6ccf0bdcb5 100644
--- a/src/eval.c
+++ b/src/eval.c
@@ -454,6 +454,12 @@ usage: (progn BODY...)  */)
       body = XCDR (body);
     }
 
+  if (!NILP (body))
+    {
+      /* This can happen if functions like Fcond are the caller.  */
+      wrong_type_argument (Qlistp, body);
+    }
+
   UNGCPRO;
   return val;
 }