diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-06 15:13:53 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-06 15:13:53 +0100 |
| commit | 85d6bf87cf2812afff625248bec3b34172cf4ccb (patch) | |
| tree | 0b66567da08068f6ca2f78f8c9f5b5edba3b7104 /gcc/function.h | |
| parent | c3b266d690835cacdc42f2278c5b4eabf9fa99d1 (diff) | |
| download | gcc-85d6bf87cf2812afff625248bec3b34172cf4ccb.zip gcc-85d6bf87cf2812afff625248bec3b34172cf4ccb.tar.gz gcc-85d6bf87cf2812afff625248bec3b34172cf4ccb.tar.bz2 | |
[multiple changes]
2014-02-06 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma): Analyze pragma
Debug rewritten node before rewriting it as a null statement in
GNATprove mode.
2014-02-06 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Min_Max): New procedure.
(Max_Alignment_For_Allocation_Max_Size_In_Storage_Elements): New
procedure.
From-SVN: r207558
Diffstat (limited to 'gcc/function.h')
0 files changed, 0 insertions, 0 deletions