diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-06 14:13:53 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-06 14:13:53 +0000 |
| commit | a6865f2a1b2b54ad4522ccfa8dc6bf6e44b88889 (patch) | |
| tree | 0b66567da08068f6ca2f78f8c9f5b5edba3b7104 /libjava/classpath/java/security/Provider.java | |
| parent | 3c1de715e9efbd96304d134c04fb592b4861970d (diff) | |
| download | ppe42-gcc-a6865f2a1b2b54ad4522ccfa8dc6bf6e44b88889.tar.gz ppe42-gcc-a6865f2a1b2b54ad4522ccfa8dc6bf6e44b88889.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207558 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/security/Provider.java')
0 files changed, 0 insertions, 0 deletions
