Skip to content

Commit

Permalink
swap recursion order in abstract cast handling
Browse files Browse the repository at this point in the history
see #11820
  • Loading branch information
Simn committed Nov 12, 2024
1 parent e88f170 commit 4360c60
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/context/abstractCast.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 4360c60

Please sign in to comment.