gnat.adc

   1 -- This file is part of the coreboot project.
   2 -- SPDX-License-Identifier: GPL-2.0-only
   3
   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);