diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-10-27 11:46:38 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-27 12:46:38 +0100 |
| commit | 2bfad6eb411319a475bf7c5f5ffd79fe06780084 (patch) | |
| tree | de083c5e99a31d445fae58ac36235a1c5b4b2f48 /gcc/ada/gnatlink.adb | |
| parent | cdabbb526556b8779df24df30b837dfe61554694 (diff) | |
| download | gcc-2bfad6eb411319a475bf7c5f5ffd79fe06780084.zip gcc-2bfad6eb411319a475bf7c5f5ffd79fe06780084.tar.gz gcc-2bfad6eb411319a475bf7c5f5ffd79fe06780084.tar.bz2 | |
inline.adb (Is_Expression_Function): Removed.
2015-10-27 Hristian Kirtchev <kirtchev@adacore.com>
* inline.adb (Is_Expression_Function): Removed.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): An internally
generated subprogram body that completes an expression function
inherits the SPARK_Mode from the spec.
* sem_res.adb (Resolve_Call): Update all calls to
Is_Expression_Function.
* sem_util.ads, sem_util.adb (Is_Expression_Function): Reimplemented.
(Is_Expression_Function_Or_Completion): New routine.
From-SVN: r229420
Diffstat (limited to 'gcc/ada/gnatlink.adb')
0 files changed, 0 insertions, 0 deletions