From 6668595ebfb13e7299233ad6a9cb82b68e30128e Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 23 Jul 2010 12:21:06 -0700 Subject: Include all lval-writing statements in stmt_is_init calculation, not just "copy-like". Un-XFAIL generic-tag-alt.rs --- src/boot/me/semant.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/boot/me/semant.ml') diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 41d28d32..ef73753d 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -129,7 +129,7 @@ type ctxt = ctxt_prestates: (node_id,Bits.t) Hashtbl.t; ctxt_poststates: (node_id,Bits.t) Hashtbl.t; ctxt_call_lval_params: (node_id,Ast.ty array) Hashtbl.t; - ctxt_copy_stmt_is_init: (node_id,unit) Hashtbl.t; + ctxt_stmt_is_init: (node_id,unit) Hashtbl.t; ctxt_post_stmt_slot_drops: (node_id,node_id list) Hashtbl.t; (* Translation-y stuff. *) @@ -202,7 +202,7 @@ let new_ctxt sess abi crate = ctxt_postconditions = Hashtbl.create 0; ctxt_prestates = Hashtbl.create 0; ctxt_poststates = Hashtbl.create 0; - ctxt_copy_stmt_is_init = Hashtbl.create 0; + ctxt_stmt_is_init = Hashtbl.create 0; ctxt_post_stmt_slot_drops = Hashtbl.create 0; ctxt_call_lval_params = Hashtbl.create 0; -- cgit v1.2.3