| commit | 7e6d7ed2ab8173a8f2df9d45654fc4d27e223318 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 5 Feb 2015 13:51:44 +0000 (5 13:51 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 5 Feb 2015 13:51:44 +0000 (5 13:51 +0000) | ||
| tree | 2c46bc461778b32c73d98d62597e9c1f80638e49 | treesnapshot (tar.gz zip) |
| parent | 31831d39bf4840761c92c9fad5abf29b4feb7b50 | commitdiff |
2015-02-05 Yannick Moy <moy@adacore.com>
* par-prag.adb (Pragma_Warnings): Update for extended form
of pragma Warnings. The "one" argument case may now have 2 or
3 arguments.
* sem_prag.adb (Analyze_Pragma/Pragma_Warnings): Update for
extended form of pragma Warnings. Pragma with tool name is either
rewritten as null or as an equivalent form without tool name,
before reanalysis.
* snames.ads-tmpl (Name_Gnatprove): New name.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220447 138bc75d-0d04-0410-961f-82ee72b054a4
* par-prag.adb (Pragma_Warnings): Update for extended form
of pragma Warnings. The "one" argument case may now have 2 or
3 arguments.
* sem_prag.adb (Analyze_Pragma/Pragma_Warnings): Update for
extended form of pragma Warnings. Pragma with tool name is either
rewritten as null or as an equivalent form without tool name,
before reanalysis.
* snames.ads-tmpl (Name_Gnatprove): New name.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220447 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/par-prag.adb | diffblobblamehistory | |
| gcc/ada/sem_prag.adb | diffblobblamehistory | |
| gcc/ada/snames.ads-tmpl | diffblobblamehistory |