diff options
| author | Yannick Moy <moy@adacore.com> | 2015-02-05 11:13:41 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-02-05 12:13:41 +0100 |
| commit | 71140fc6ca792f3666e126b5eec4640193741ae2 (patch) | |
| tree | b79045467ca5b8321023c258eb4ade468927b1d0 /gcc/ada/frontend.adb | |
| parent | e0709184ee6a39837b909cfe57675d46fd8d4ba5 (diff) | |
| download | gcc-71140fc6ca792f3666e126b5eec4640193741ae2.zip gcc-71140fc6ca792f3666e126b5eec4640193741ae2.tar.gz gcc-71140fc6ca792f3666e126b5eec4640193741ae2.tar.bz2 | |
opt.ads (Warn_On_Suspicious_Contract): Update comment describing use.
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.
From-SVN: r220444
Diffstat (limited to 'gcc/ada/frontend.adb')
0 files changed, 0 insertions, 0 deletions