From: Arnaud Charlet Date: Tue, 25 Apr 2017 13:06:11 +0000 (+0200) Subject: Code cleanup. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=884f97cc82df643671e6df4ed43a49518311022a;p=gcc.git Code cleanup. From-SVN: r247223 --- diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 587a0b8513d..61f05c5dd69 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2015-2016, Free Software Foundation, Inc. -- +-- Copyright (C) 2015-2017, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -658,6 +658,7 @@ package body Contracts is if SPARK_Mode = On and then Ekind_In (Subp_Id, E_Function, E_Generic_Function) + and then Comes_From_Source (Subp_Id) and then not Is_Volatile_Function (Subp_Id) then Check_Nonvolatile_Function_Profile (Subp_Id);