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