diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-12-09 05:26:02 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-12-09 05:26:02 +0100 |
| commit | fd83e3442dfe300a865a7566e012eca5df93c339 (patch) | |
| tree | bcb8400887834168317ec7bcfe71edab6788f86b /frontends/ast/simplify.cc | |
| parent | 68c6675130e381c67977e21f28e2057dbd71a6a5 (diff) | |
| parent | 50da3bdbccb8a51c75878787550fc3c72534ce7d (diff) | |
| download | yosys-fd83e3442dfe300a865a7566e012eca5df93c339.tar.gz yosys-fd83e3442dfe300a865a7566e012eca5df93c339.tar.bz2 yosys-fd83e3442dfe300a865a7566e012eca5df93c339.zip | |
Merge branch 'master' into btor-ng
Diffstat (limited to 'frontends/ast/simplify.cc')
| -rw-r--r-- | frontends/ast/simplify.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc index 74e7b4675..f61f7cf7c 100644 --- a/frontends/ast/simplify.cc +++ b/frontends/ast/simplify.cc @@ -401,6 +401,9 @@ bool AstNode::simplify(bool const_fold, bool at_zero, bool in_lvalue, int stage, if (type == AST_ALWAYS || type == AST_INITIAL) { + if (current_always != nullptr) + log_error("Invalid nesting of always blocks and/or initializations at %s:%d.\n", filename.c_str(), linenum); + current_always = this; current_always_clocked = false; |