fix return annotations array_expansion

compiler/src/compile.ml

@@ -161,7 +161,13 @@ let compile (type reg regx xreg rflag cond asm_op extra_op)
 
       | _ -> fd.f_cc 
     in
-    let finfo = fd.f_loc, fd.f_annot, f_cc, fd.f_outannot in
+    let do_outannot x a = 
+      try 
+        let (_, va) = Hv.find harrs (L.unloc x) in
+        List.init (Array.length va) (fun _ -> [])
+      with Not_found -> [a] in
+    let f_outannot = List.flatten (List.map2 do_outannot fd.f_ret fd.f_outannot) in
+    let finfo = fd.f_loc, fd.f_annot, f_cc, f_outannot in
     { Array_expansion.vars = vars; arrs = !arrs; finfo }
   in