Skip to content

Commit d688fdf

Browse files
committed
swap recursion order in abstract cast handling
see #11820
1 parent 2f1e6d4 commit d688fdf

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/context/abstractCast.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -285,8 +285,8 @@ let handle_abstract_casts ctx e =
285285
| TCast(e2,None) ->
286286
{e1 with eexpr = TCast(find_field e2,None)}
287287
| TField(e2,fa) ->
288-
let e2 = loop e2 in
289288
let a,pl,e2 = find_abstract e2 e2.etype in
289+
let e2 = loop e2 in
290290
let m = Abstract.get_underlying_type a pl in
291291
let fname = field_name fa in
292292
let el = List.map loop el in

0 commit comments

Comments
 (0)