diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 15:58:29 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 15:58:29 +0100 |
| commit | ca11219d65a65220fcf26e16be26c134c0100874 (patch) | |
| tree | cf4a37a30c72257e17b1ecf95ca80845b7984883 /gcc/tree-cfgcleanup.c | |
| parent | 6e32b1abbaaf5af6b96c055b432b7f6fea6dd814 (diff) | |
| download | gcc-ca11219d65a65220fcf26e16be26c134c0100874.zip gcc-ca11219d65a65220fcf26e16be26c134c0100874.tar.gz gcc-ca11219d65a65220fcf26e16be26c134c0100874.tar.bz2 | |
[multiple changes]
2014-02-25 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma/Pragma_Validity_Checks): Ignore pragma
Validity_Checks in GNATprove and CodePeer modes.
2014-02-25 Pascal Obry <obry@adacore.com>
* prj-attr.adb, projects.texi, snames.ads-tmpl: Add package Install's
Artifacts attribute.
From-SVN: r208130
Diffstat (limited to 'gcc/tree-cfgcleanup.c')
0 files changed, 0 insertions, 0 deletions