From fab5d2dfa23c30c083ae3c5738c8c0b7832b18cc Mon Sep 17 00:00:00 2001 From: Ajax Date: Thu, 15 Feb 2018 12:53:29 +0100 Subject: simp_compose: ensure the '/' is not rounded to 0, but really equals to --- test/expression/simplifications.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test/expression/simplifications.py') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 0c516a8e..add689c7 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -411,6 +411,10 @@ to_test = [(ExprInt(1, 32) - ExprInt(1, 32), ExprInt(0, 32)), (a >> b >> c, a >> b >> c), # Left unmodified (a >> b_msb_null >> c_msb_null, a >> (b_msb_null + c_msb_null)), + + # Degenerated case from fuzzing, which had previously raised bugs + (ExprCompose(ExprInt(0x7, 3), ExprMem(ExprInt(0x39E21, 19), 1), ExprMem(ExprInt(0x39E21, 19), 1)), + ExprCompose(ExprInt(0x7, 3), ExprMem(ExprInt(0x39E21, 19), 1), ExprMem(ExprInt(0x39E21, 19), 1))), ] for e_input, e_check in to_test: -- cgit 1.4.1