Merge branch 'mr/jicquel/github#88-workaround-gnat-12' into 'master'

Rephrase a record's return to avoid a bug in GNAT 12 See merge request eng/toolchain/gnatcoll-core!159
AdaCore · Nov 28, 2024 · 02d2a57 · 02d2a57
2 parents 57fda8e + 515db1c
commit 02d2a57
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/core/src/gnatcoll-json.adb b/core/src/gnatcoll-json.adb
@@ -686,7 +686,13 @@ package body GNATCOLL.JSON is
 
       Deallocate (Current_Key);
       Free (Read_States);
-      return (Success => True, Value => Result);
+
+      declare
+         R_Result : constant Read_Result := (Success => True, Value => Result);
+      begin
+         return R_Result;
+      end;
+
    exception
       when E : Invalid_JSON_Stream =>
          Free (Read_States);