gnat.adc

   1 --
   2 -- This file is part of the coreboot project.
   3 --
   4 -- This program is free software; you can redistribute it and/or modify
   5 -- it under the terms of the GNU General Public License as published by
   6 -- the Free Software Foundation; version 2 of the License.
   7 --
   8 -- This program is distributed in the hope that it will be useful,
   9 -- but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 -- GNU General Public License for more details.
  12 --
  13
  14 pragma Restrictions (No_Access_Subprograms);
  15 pragma Restrictions (No_Allocators);
  16 pragma Restrictions (No_Calendar);
  17 pragma Restrictions (No_Dispatch);
  18 pragma Restrictions (No_Exception_Handlers);
  19 pragma Restrictions (No_Fixed_Point);
  20 pragma Restrictions (No_Floating_Point);
  21 pragma Restrictions (No_Implicit_Dynamic_Code);
  22 pragma Restrictions (No_Implicit_Heap_Allocations);
  23 pragma Restrictions (No_Implicit_Loops);
  24 pragma Restrictions (No_Initialize_Scalars);
  25 pragma Restrictions (No_IO);
  26 pragma Restrictions (No_Local_Allocators);
  27 pragma Restrictions (No_Recursion);
  28 pragma Restrictions (No_Secondary_Stack);
  29 pragma Restrictions (No_Streams);
  30 pragma Restrictions (No_Tasking);
  31 pragma Restrictions (No_Unchecked_Access);
  32 pragma Restrictions (No_Unchecked_Deallocation);
  33 pragma Restrictions (No_Wide_Characters);
  34 pragma Restrictions (Static_Storage_Size);
  35 pragma Assertion_Policy
  36   (Statement_Assertions => Disable,
  37    Pre                  => Disable,
  38    Post                 => Disable,
  39    Refined_Post         => Disable);
  40 pragma Overflow_Mode (General => Strict, Assertions => Eliminated);
  41 pragma SPARK_Mode (On);