diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 14:55:37 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 14:55:37 +0200 |
| commit | 055416a8d14d5d741fcbf42b1f1396241737e4e6 (patch) | |
| tree | 58f96edfea51ed0342052cff99b6789fb2c30a39 /gcc/ada/gcc-interface/Make-lang.in | |
| parent | 39d3009fafe3a4d3660f25ef803c9f266496fa53 (diff) | |
| download | gcc-055416a8d14d5d741fcbf42b1f1396241737e4e6.zip gcc-055416a8d14d5d741fcbf42b1f1396241737e4e6.tar.gz gcc-055416a8d14d5d741fcbf42b1f1396241737e4e6.tar.bz2 | |
[multiple changes]
2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Depends_In_Decl_Part,
Analyze_Global_In_Decl_Part,
Analyze_Pre_Post_Condition_In_Decl_Part): Install the subprogram
and its formals only when it is not already installed.
* sem_util.adb (Is_Refined_State): A state is refined when it
has a non-empty list of constituents.
2013-10-14 Tristan Gingold <gingold@adacore.com>
* adaint.c: Disable __gnat_get_executable_load_address for linux.
* exp_prag.adb: Add comment in Expand_Pragma_Import_Export_Exception.
From-SVN: r203532
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
0 files changed, 0 insertions, 0 deletions