diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 14:51:00 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 14:51:00 +0200 |
| commit | 51dcceecdf58128ea13fede4507327a3f8595804 (patch) | |
| tree | d7af2bc049447bc647f5bff8d75144874d2eba8d /gcc/ada/cstreams.c | |
| parent | df9107226f53d4ba405c2fb4c5d5c9ee2aaaec1f (diff) | |
| download | gcc-51dcceecdf58128ea13fede4507327a3f8595804.zip gcc-51dcceecdf58128ea13fede4507327a3f8595804.tar.gz gcc-51dcceecdf58128ea13fede4507327a3f8595804.tar.bz2 | |
[multiple changes]
2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Ensure that an
internally generated spec for a stand alone body is recognized
as a proper context for pragma SPARK_Mode.
2014-08-04 Robert Dewar <dewar@adacore.com>
* erroutc.adb (Delete_Msg): Do not decrement Warnings_Treated_As_Errors.
2014-08-04 Arnaud Charlet <charlet@adacore.com>
* adabkend.adb (Scan_Back_End_Switches): Ignore extra -o
when -gnatO has already been specified, for compatibility
with gcc driver.
(Scan_Compiler_Args): Do not call Set_Output_Object_File_Name in
codepeer mode.
* g-expect.ads: Fix typo.
2014-08-04 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb (Insert_Dereference_Action): the actual Size
must account for the bounds template if the designated type is
an unconstrained array.
From-SVN: r213579
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions