ff2d863515
Explicitly specifying the aspect `Side_Effects' is necessary for GCC toolchains from 14.0 on. As older toolchains don't know the aspect, we have to silence a warning about it, though. Change-Id: I1eb879f57437587dc11d879fcc4042a70d384786 Signed-off-by: Nico Huber <nico.huber@secunet.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/80616 Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de> Reviewed-by: Thomas Heijligen <src@posteo.de> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
35 lines
1.3 KiB
Plaintext
35 lines
1.3 KiB
Plaintext
-- SPDX-License-Identifier: GPL-2.0-only
|
|
|
|
pragma Restrictions (No_Access_Subprograms);
|
|
pragma Restrictions (No_Allocators);
|
|
pragma Restrictions (No_Calendar);
|
|
pragma Restrictions (No_Dispatch);
|
|
pragma Restrictions (No_Exception_Handlers);
|
|
pragma Restrictions (No_Fixed_Point);
|
|
pragma Restrictions (No_Floating_Point);
|
|
pragma Restrictions (No_Implicit_Dynamic_Code);
|
|
pragma Restrictions (No_Implicit_Heap_Allocations);
|
|
pragma Restrictions (No_Implicit_Loops);
|
|
pragma Restrictions (No_Initialize_Scalars);
|
|
pragma Restrictions (No_IO);
|
|
pragma Restrictions (No_Local_Allocators);
|
|
pragma Restrictions (No_Recursion);
|
|
pragma Restrictions (No_Secondary_Stack);
|
|
pragma Restrictions (No_Streams);
|
|
pragma Restrictions (No_Tasking);
|
|
pragma Restrictions (No_Unchecked_Access);
|
|
pragma Restrictions (No_Unchecked_Deallocation);
|
|
pragma Restrictions (No_Wide_Characters);
|
|
pragma Restrictions (Static_Storage_Size);
|
|
pragma Assertion_Policy
|
|
(Statement_Assertions => Disable,
|
|
Pre => Disable,
|
|
Post => Disable,
|
|
Refined_Post => Disable);
|
|
pragma Overflow_Mode (General => Strict, Assertions => Eliminated);
|
|
pragma SPARK_Mode (On);
|
|
|
|
pragma Warnings
|
|
(GNAT, Off, """Side_Effects"" is not a valid aspect identifier",
|
|
Reason => """Side_Effects"" is new and needed for toolchain transition.");
|