diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-11-06 10:53:42 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-11-06 10:53:42 +0100 |
| commit | ed7b9d6ecfd1651d7c3fcd96f2b105bb2ba0349a (patch) | |
| tree | bb3ceb85196a7926fdbdfd8a855becd8738f530f /libgcc | |
| parent | 2fe2920e2dcfed7940e33b7b426a5035189ac04e (diff) | |
| download | gcc-ed7b9d6ecfd1651d7c3fcd96f2b105bb2ba0349a.zip gcc-ed7b9d6ecfd1651d7c3fcd96f2b105bb2ba0349a.tar.gz gcc-ed7b9d6ecfd1651d7c3fcd96f2b105bb2ba0349a.tar.bz2 | |
[multiple changes]
2012-11-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_prag.adb (Expand_Pragma_Loop_Assertion): Update the comment
on intended expansion. Reimplement the logic which expands the
termination variants.
(Process_Increase_Decrease): Update the parameter profile and the
comment related to it. Accommodate the new aggregate-like appearance of
the termination variants.
* sem_prag.adb (Analyze_Pragma): Update the syntax of pragma
Loop_Assertion. Reimplement the semantic analysis of the pragma
to accommodate the new aggregate-like variant.
(Check_Variant): New routine.
* snames.ads-tmpl: Change names Name_Decreases and Name_Increases
to Name_Decreasing and Name_Increasing respectively. Add name
Variant.
2012-11-06 Ed Schonberg <schonberg@adacore.com>
* sem_eval.adb: Static evaluation of case expressions.
From-SVN: r193216
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions