From 69abc08d857bf74c73692b87d4238ecd1c37cd41 Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Mon, 5 Sep 2016 17:19:09 +0200
Subject: [PATCH] macroprocessor: stop with error when division by zero is
 encountered. closes #1278

---
 macro/MacroBison.yy | 9 +++++++--
 macro/MacroValue.hh | 3 ++-
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/macro/MacroBison.yy b/macro/MacroBison.yy
index 2bd8072a..27c0e4b2 100644
--- a/macro/MacroBison.yy
+++ b/macro/MacroBison.yy
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2008-2014 Dynare Team
+ * Copyright (C) 2008-2016 Dynare Team
  *
  * This file is part of Dynare.
  *
@@ -150,7 +150,12 @@ expr : INTEGER
      | expr TIMES expr
        { TYPERR_CATCH($$ = *$1 * *$3, @$); }
      | expr DIVIDE expr
-       { TYPERR_CATCH($$ = *$1 / *$3, @$); }
+       {
+         if (dynamic_cast<const IntMV *>($3) != NULL
+             && ((IntMV *)$3)->get_int_value() == 0)
+           driver.error(@$, "Division by zero");
+         TYPERR_CATCH($$ = *$1 / *$3, @$);
+       }
      | expr LESS expr
        { TYPERR_CATCH($$ = *$1 < *$3, @$); }
      | expr GREATER expr
diff --git a/macro/MacroValue.hh b/macro/MacroValue.hh
index 25016478..c9da9c3d 100644
--- a/macro/MacroValue.hh
+++ b/macro/MacroValue.hh
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2008-2013 Dynare Team
+ * Copyright (C) 2008-2016 Dynare Team
  *
  * This file is part of Dynare.
  *
@@ -158,6 +158,7 @@ public:
     If mv2 < mv1, returns an empty range (for consistency with MATLAB).
   */
   static const MacroValue *new_range(MacroDriver &driver, const MacroValue *mv1, const MacroValue *mv2) throw (TypeError);
+  inline int get_int_value() const { return value; };
 };
 
 //! Represents a string value in macro language