Merge pull request #2256 from YosysHQ/claire/fix2241

Add AST_EDGE support to AstNode::detect_latch()
This commit is contained in:
clairexen 2020-07-10 19:07:50 +02:00 committed by GitHub
commit eef0ec6aed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -4231,6 +4231,8 @@ bool AstNode::detect_latch(const std::string &var)
case AST_POSEDGE: case AST_POSEDGE:
case AST_NEGEDGE: case AST_NEGEDGE:
return false; return false;
case AST_EDGE:
break;
case AST_BLOCK: case AST_BLOCK:
if (!c->detect_latch(var)) if (!c->detect_latch(var))
return false; return false;