diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 15:06:11 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 15:06:11 +0200 |
commit | 884f97cc82df643671e6df4ed43a49518311022a (patch) | |
tree | 4b38a085cf157105a6c6ce702ee86366213b09b2 /gcc | |
parent | 7c145456112cd84950e86cbffb02d15391790eee (diff) | |
download | gcc-884f97cc82df643671e6df4ed43a49518311022a.zip gcc-884f97cc82df643671e6df4ed43a49518311022a.tar.gz gcc-884f97cc82df643671e6df4ed43a49518311022a.tar.bz2 |
Code cleanup.
From-SVN: r247223
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/contracts.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 587a0b8..61f05c5 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); |