[Serialization] fix format bug for pre_13 code

pre_13 would fail to read the max_world field, resulting in the stream getting desynchronized and corrupted. Add some type-asserts to help detect that error earlier.
JuliaLang · Feb 21, 2024 · 2126b67 · 2126b67
1 parent 7057763
commit 2126b67
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/stdlib/Serialization/src/Serialization.jl b/stdlib/Serialization/src/Serialization.jl
@@ -1214,24 +1214,25 @@ function deserialize(s::AbstractSerializer, ::Type{CodeInfo})
             deserialize(s) # rettype
             ci.parent = deserialize(s)
             world_or_edges = deserialize(s)
-            pre_13 = isa(world_or_edges, Integer)
+            pre_13 = isa(world_or_edges, Union{UInt, Int})
             if pre_13
-                ci.min_world = world_or_edges
+                ci.min_world = reinterpret(UInt, world_or_edges)
+                ci.max_world = reinterpret(UInt, deserialize(s))
             else
                 ci.edges = world_or_edges
-                ci.min_world = reinterpret(UInt, deserialize(s))
-                ci.max_world = reinterpret(UInt, deserialize(s))
+                ci.min_world = deserialize(s)::UInt
+                ci.max_world = deserialize(s)::UInt
             end
         else
             ci.parent = deserialize(s)
             ci.method_for_inference_limit_heuristics = deserialize(s)
             ci.edges = deserialize(s)
-            ci.min_world = reinterpret(UInt, deserialize(s))
-            ci.max_world = reinterpret(UInt, deserialize(s))
+            ci.min_world = deserialize(s)::UInt
+            ci.max_world = deserialize(s)::UInt
         end
     end
     if format_version(s) <= 26
-        deserialize(s) # inferred
+        deserialize(s)::Bool # inferred
     end
     if format_version(s) < 22
         inlining_cost = deserialize(s)