From cab674447f8fa7d4086bd55a3a72f2c066f92314 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 30 Jun 2010 19:30:12 -0700 Subject: Make type-cast decisions based on simplified types. --- src/boot/me/trans.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 9e0dfdf3..9be58826 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1903,6 +1903,7 @@ let trans_visitor | Ast.UNOP_cast t -> let t = Hashtbl.find cx.ctxt_all_cast_types t.id in let at = atom_type cx a in + let (t, at) = (simplified_ty t, simplified_ty at) in if (type_is_2s_complement at) && (type_is_2s_complement t) then -- cgit v1.2.3