ada: Support new SPARK aspect Side_Effects

[gcc.git] / gcc / ada / einfo-utils.adb

diff --git a/gcc/ada/einfo-utils.adb b/gcc/ada/einfo-utils.adb
index 9bee1f4fb2c8909ad33b953fb7fd665dfc1fbf9b..88f4d4be7c835f209359980be0a99a5781c33ee5 100644 (file)
--- a/gcc/ada/einfo-utils.adb
+++ b/gcc/ada/einfo-utils.adb
@@ -1012,6 +1012,7 @@ package body Einfo.Utils is
                  Id = Pragma_Refined_Depends            or else
                  Id = Pragma_Refined_Global             or else
                  Id = Pragma_Refined_State              or else
+                 Id = Pragma_Side_Effects               or else
                  Id = Pragma_Volatile_Function;
 
       --  Contract / subprogram variant / test case pragmas