mirror of
https://github.com/Telecominfraproject/OpenCellular.git
synced 2026-01-17 18:41:22 +00:00
36934fbde0
The GNAT configuration file `debug.adc` has Assertion_Policy Debug enabled to compile `pragma Debug` code. If `DEBUG` is set to `1` during build, `debug.adc` is used instead of the default `gnat.adc`. Change-Id: If5b52f5251cae7deed7aca2765f9b5db1c148fb7 Signed-off-by: Nico Huber <nico.h@gmx.de> Reviewed-on: https://review.coreboot.org/20558 Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
25 lines
955 B
Plaintext
25 lines
955 B
Plaintext
pragma Restrictions (No_Allocators);
|
|
pragma Restrictions (No_Calendar);
|
|
pragma Restrictions (No_Dispatch);
|
|
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_Local_Allocators);
|
|
pragma Restrictions (No_Recursion);
|
|
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,
|
|
Debug => Check,
|
|
Pre => Disable,
|
|
Post => Disable);
|
|
pragma Overflow_Mode (General => Strict, Assertions => Eliminated);
|
|
pragma SPARK_Mode (On);
|