diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-10-16 00:44:23 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-10-16 00:44:23 +0200 |
commit | 6b05a9e8075af923c67ec3bb1b74573294ac8838 (patch) | |
tree | fad7b2de23e12e36198d1753921b21db7c7c6333 /frontends/ast/ast.h | |
parent | 82ed814fa1d0e8e58392210976069daa4faa3f4a (diff) | |
download | yosys-6b05a9e8075af923c67ec3bb1b74573294ac8838.tar.gz yosys-6b05a9e8075af923c67ec3bb1b74573294ac8838.tar.bz2 yosys-6b05a9e8075af923c67ec3bb1b74573294ac8838.zip |
Fixed handling of invalid array access in mem2reg code
Diffstat (limited to 'frontends/ast/ast.h')
-rw-r--r-- | frontends/ast/ast.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/ast/ast.h b/frontends/ast/ast.h index 0a4016736..56f5d888d 100644 --- a/frontends/ast/ast.h +++ b/frontends/ast/ast.h @@ -209,6 +209,7 @@ namespace AST void mem2reg_as_needed_pass1(std::map<AstNode*, std::set<std::string>> &mem2reg_places, std::map<AstNode*, uint32_t> &mem2reg_flags, std::map<AstNode*, uint32_t> &proc_flags, uint32_t &status_flags); void mem2reg_as_needed_pass2(std::set<AstNode*> &mem2reg_set, AstNode *mod, AstNode *block); + bool mem2reg_check(std::set<AstNode*> &mem2reg_set); void meminfo(int &mem_width, int &mem_size, int &addr_bits); // additional functionality for evaluating constant functions |