gnat.adc

   1 -- SPDX-License-Identifier: GPL-2.0-only
   2
   3 pragma Restrictions (No_Access_Subprograms);
   4 pragma Restrictions (No_Allocators);
   5 pragma Restrictions (No_Calendar);
   6 pragma Restrictions (No_Dispatch);
   7 pragma Restrictions (No_Exception_Handlers);
   8 pragma Restrictions (No_Fixed_Point);
   9 pragma Restrictions (No_Floating_Point);
  10 pragma Restrictions (No_Implicit_Dynamic_Code);
  11 pragma Restrictions (No_Implicit_Heap_Allocations);
  12 pragma Restrictions (No_Implicit_Loops);
  13 pragma Restrictions (No_Initialize_Scalars);
  14 pragma Restrictions (No_IO);
  15 pragma Restrictions (No_Local_Allocators);
  16 pragma Restrictions (No_Recursion);
  17 pragma Restrictions (No_Secondary_Stack);
  18 pragma Restrictions (No_Streams);
  19 pragma Restrictions (No_Tasking);
  20 pragma Restrictions (No_Unchecked_Access);
  21 pragma Restrictions (No_Unchecked_Deallocation);
  22 pragma Restrictions (No_Wide_Characters);
  23 pragma Restrictions (Static_Storage_Size);
  24 pragma Assertion_Policy
  25   (Statement_Assertions => Disable,
  26    Pre                  => Disable,
  27    Post                 => Disable,
  28    Refined_Post         => Disable);
  29 pragma Overflow_Mode (General => Strict, Assertions => Eliminated);
  30 pragma SPARK_Mode (On);
  31
  32 pragma Warnings
  33   (GNAT, Off, """Side_Effects"" is not a valid aspect identifier",
  34    Reason => """Side_Effects"" is new and needed for toolchain transition.");