diff options
Diffstat (limited to 'frontend/json_frontend.cc')
| -rw-r--r-- | frontend/json_frontend.cc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/frontend/json_frontend.cc b/frontend/json_frontend.cc index f1310e71..136786fc 100644 --- a/frontend/json_frontend.cc +++ b/frontend/json_frontend.cc @@ -105,10 +105,14 @@ struct JsonFrontendImpl Property parse_property(const Json &val) const { - if (val.is_number()) + if (val.is_number()) { + if (val.int_value() != val.number_value()) + log_error("Found an out-of-range integer parameter in the JSON file.\n" + "Please regenerate the input file with an up-to-date version of yosys.\n"); return Property(val.int_value(), 32); - else + } else { return Property::from_string(val.string_value()); + } } template <typename TFunc> void foreach_attr(const Json &obj, TFunc Func) const |