| commit | 258a7f5c0f045b4c7e4fed79b83a0a5eca8631d6 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 5 Feb 2015 11:13:41 +0000 (5 11:13 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 5 Feb 2015 11:13:41 +0000 (5 11:13 +0000) | ||
| tree | b79045467ca5b8321023c258eb4ade468927b1d0 | treesnapshot (tar.gz zip) |
| parent | 2271bce4dea8b55959c615d2bb55e91340c79da9 | commitdiff |
2015-02-05 Yannick Moy <moy@adacore.com>
* opt.ads (Warn_On_Suspicious_Contract): Update comment
describing use.
* sem_attr.adb (Analyze_Attribute/Attribute_Update): Warn on
suspicious uses of 'Update.
* sem_warn.adb, sem_warn.ads (Warn_On_Suspicious_Update): New
function issues warning on suspicious uses of 'Update.
* g-rannum.adb, g-rannum.ads, s-rannum.adb, s-rannum.ads: Mark
package spec and body as SPARK_Mode Off.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220444 138bc75d-0d04-0410-961f-82ee72b054a4
* opt.ads (Warn_On_Suspicious_Contract): Update comment
describing use.
* sem_attr.adb (Analyze_Attribute/Attribute_Update): Warn on
suspicious uses of 'Update.
* sem_warn.adb, sem_warn.ads (Warn_On_Suspicious_Update): New
function issues warning on suspicious uses of 'Update.
* g-rannum.adb, g-rannum.ads, s-rannum.adb, s-rannum.ads: Mark
package spec and body as SPARK_Mode Off.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220444 138bc75d-0d04-0410-961f-82ee72b054a4