diff --git a/gnat.adc b/gnat.adc index 5a03406dad..5ebc91bd36 100644 --- a/gnat.adc +++ b/gnat.adc @@ -28,3 +28,7 @@ pragma Assertion_Policy Refined_Post => Disable); pragma Overflow_Mode (General => Strict, Assertions => Eliminated); pragma SPARK_Mode (On); + +pragma Warnings + (GNAT, Off, """Side_Effects"" is not a valid aspect identifier", + Reason => """Side_Effects"" is new and needed for toolchain transition."); diff --git a/src/drivers/intel/gma/gma.ads b/src/drivers/intel/gma/gma.ads index d264960d2b..5cb45da8e7 100644 --- a/src/drivers/intel/gma/gma.ads +++ b/src/drivers/intel/gma/gma.ads @@ -11,6 +11,6 @@ package GMA is port : in Interfaces.C.int) return Interfaces.C.int with - Export, Convention => C, External_Name => "gma_read_edid"; + Side_Effects, Export, Convention => C, External_Name => "gma_read_edid"; end GMA;