Merge branch 'fix/kernel/populate-funspec' into 'stable/vanadium'

[kernel] Do not mark a specification as generated if the generation fails.

See merge request frama-c/frama-c!3202

src/kernel_internals/typing/infer_annotations.ml

@@ -270,8 +270,8 @@ let populate_funspec kf spec =
   if Is_populated.mem kf then
     false (* No need to add the spec again *)
   else (
-    Is_populated.add kf ();
     populate_funspec_aux kf spec;
+    Is_populated.add kf ();
     true
   )