瀏覽代碼

swap recursion order in abstract cast handling

see #11820
Simon Krajewski 10 月之前
父節點
當前提交
4360c60f4c
共有 1 個文件被更改,包括 1 次插入1 次删除
  1. 1 1
      src/context/abstractCast.ml

+ 1 - 1
src/context/abstractCast.ml

@@ -296,8 +296,8 @@ let handle_abstract_casts ctx e =
 					| TCast(e2,None) ->
 						{e1 with eexpr = TCast(find_field e2,None)}
 					| TField(e2,fa) ->
-						let e2 = loop e2 in
 						let a,pl,e2 = find_abstract e2 e2.etype in
+						let e2 = loop e2 in
 						let m = Abstract.get_underlying_type a pl in
 						let fname = field_name fa in
 						let el = List.map loop el in