treewide: more SPDX header work
[coreboot.git] / gnat.adc
blobc4a9f72c51c550e6994aa48918836db9314c5947
1 -- This file is part of the coreboot project.
2 -- SPDX-License-Identifier: GPL-2.0-only
4 pragma Restrictions (No_Access_Subprograms);
5 pragma Restrictions (No_Allocators);
6 pragma Restrictions (No_Calendar);
7 pragma Restrictions (No_Dispatch);
8 pragma Restrictions (No_Exception_Handlers);
9 pragma Restrictions (No_Fixed_Point);
10 pragma Restrictions (No_Floating_Point);
11 pragma Restrictions (No_Implicit_Dynamic_Code);
12 pragma Restrictions (No_Implicit_Heap_Allocations);
13 pragma Restrictions (No_Implicit_Loops);
14 pragma Restrictions (No_Initialize_Scalars);
15 pragma Restrictions (No_IO);
16 pragma Restrictions (No_Local_Allocators);
17 pragma Restrictions (No_Recursion);
18 pragma Restrictions (No_Secondary_Stack);
19 pragma Restrictions (No_Streams);
20 pragma Restrictions (No_Tasking);
21 pragma Restrictions (No_Unchecked_Access);
22 pragma Restrictions (No_Unchecked_Deallocation);
23 pragma Restrictions (No_Wide_Characters);
24 pragma Restrictions (Static_Storage_Size);
25 pragma Assertion_Policy
26   (Statement_Assertions => Disable,
27    Pre                  => Disable,
28    Post                 => Disable,
29    Refined_Post         => Disable);
30 pragma Overflow_Mode (General => Strict, Assertions => Eliminated);
31 pragma SPARK_Mode (On);