Skip to content
Snippets Groups Projects
Verified Commit c10d8daf authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Dynare++: add safety check to avoid overflow in tensor indices

Ref #217
parent 3cfb9ed6
Branches
No related tags found
No related merge requests found
...@@ -2,8 +2,11 @@ ...@@ -2,8 +2,11 @@
#include "tl_static.hh" #include "tl_static.hh"
#include "pascal_triangle.hh" #include "pascal_triangle.hh"
#include "tl_exception.hh"
#include <mutex> #include <mutex>
#include <limits>
#include <cmath>
/* Note that we allow for repeated calls of |init|. This is not normal /* Note that we allow for repeated calls of |init|. This is not normal
and the only purpose of allowing this is the test suite. */ and the only purpose of allowing this is the test suite. */
...@@ -29,6 +32,10 @@ namespace TLStatic ...@@ -29,6 +32,10 @@ namespace TLStatic
void void
init(int dim, int nvar) init(int dim, int nvar)
{ {
// Check that tensor indices will not overflow (they are stored as signed int, hence on 31 bits)
if (std::log2(nvar)*dim > std::numeric_limits<int>::digits)
throw TLException(__FILE__, __LINE__, "Problem too large, you should decrease the approximation order");
std::lock_guard<std::mutex>{mut}; std::lock_guard<std::mutex>{mut};
ebundle.generateUpTo(dim); ebundle.generateUpTo(dim);
pbundle.generateUpTo(dim); pbundle.generateUpTo(dim);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment