From 4360c60f4c72636da549b13c4c423dfde399668f Mon Sep 17 00:00:00 2001 From: Simon Krajewski Date: Tue, 12 Nov 2024 19:54:23 +0100 Subject: [PATCH] swap recursion order in abstract cast handling see #11820 --- src/context/abstractCast.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/context/abstractCast.ml b/src/context/abstractCast.ml index 50d6ac45ba5..6185ef167d0 100644 --- a/src/context/abstractCast.ml +++ b/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