diff options
| author | gingerBill <bill@gingerbill.org> | 2020-03-24 15:48:57 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-03-24 15:48:57 +0000 |
| commit | 6bfe9b66562f05fe262c08f7b71eb9fdaa5c11cc (patch) | |
| tree | 7b2177b96116a3fc73f3467532491aa960b4a5b3 /src/check_expr.cpp | |
| parent | 796331fea64a795b3764d61c840e8a55befec8fc (diff) | |
| parent | da703edbf47858c832a3f358967051c8f3cccb90 (diff) | |
Merge branch 'master' into llvm-integration
Diffstat (limited to 'src/check_expr.cpp')
| -rw-r--r-- | src/check_expr.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/check_expr.cpp b/src/check_expr.cpp index 4ae7c5019..69e79ccaf 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -1648,8 +1648,11 @@ bool check_is_not_addressable(CheckerContext *c, Operand *o) { return false; } return true; - } + if (o->mode == Addressing_MapIndex) { + return false; + } + if (o->mode != Addressing_Variable) { return true; } |