fixup! Tag CodeInstance for external abstract interpreter

JuliaLang · Feb 7, 2024 · 408391e · 408391e
1 parent 93d0733
commit 408391e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/staticdata_utils.c b/src/staticdata_utils.c
@@ -1156,8 +1156,8 @@ static void jl_insert_backedges(jl_array_t *edges, jl_array_t *ext_targets, jl_a
     // next build a map from external MethodInstances to their CodeInstance for insertion
     for (size_t i = 0; i < n_ext_cis; i++) {
         jl_code_instance_t *ci = (jl_code_instance_t*)jl_array_ptr_ref(ext_ci_list, i);
-        assert(ci->min_world == minworld);
         if (jl_atomic_load_relaxed(&ci->max_world) == WORLD_AGE_REVALIDATION_SENTINEL) {
+            assert(jl_atomic_load_relaxed(&ci->min_world) == minworld);
             void **bp = ptrhash_bp(&cis_pending_validation, (void*)ci->def);
             assert(!jl_atomic_load_relaxed(&ci->next));
             if (*bp == HT_NOTFOUND)
@@ -1237,7 +1237,8 @@ static void jl_insert_backedges(jl_array_t *edges, jl_array_t *ext_targets, jl_a
                 }
                 codeinst = next_ci;
             }
-        } else {
+        }
+        else {
             // Likely internal. Find the CI already in the cache hierarchy.
             for (jl_code_instance_t *codeinst = jl_atomic_load_relaxed(&caller->cache); codeinst; codeinst = jl_atomic_load_relaxed(&codeinst->next)) {
                 if (jl_atomic_load_relaxed(&codeinst->min_world) == minworld && jl_atomic_load_relaxed(&codeinst->max_world) == WORLD_AGE_REVALIDATION_SENTINEL) {