diff options
| author | Shane Huntley <huntsman@gmail.com> | 2016-07-10 21:54:24 -0700 |
|---|---|---|
| committer | Shane Huntley <huntsman@gmail.com> | 2016-07-10 21:54:24 -0700 |
| commit | 2f65d7e3667be30ab4cab32d11cc1b2db5b62634 (patch) | |
| tree | 347b3909571c360bc02100b60b0f38641adaf3f8 | |
| parent | 9165fa1768814f251fe72884f9ffeb1cb2454b94 (diff) | |
| download | miasm-2f65d7e3667be30ab4cab32d11cc1b2db5b62634.tar.gz miasm-2f65d7e3667be30ab4cab32d11cc1b2db5b62634.zip | |
Explicitly compare expression to None.
Implicit boolean comparisons broken by recent commit a2eb824 in Z3Prover/z3 causing tranlator to break.
Diffstat (limited to '')
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index 79099520..e0460cc4 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -141,7 +141,7 @@ class TranslatorZ3(Translator): for subexpr, start, stop in args: sube = self.from_expr(subexpr) e = z3.Extract(stop-start-1, 0, sube) - if res: + if res != None: res = z3.Concat(e, res) else: res = e |