diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 11:05:22 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 11:05:22 +0100 |
| commit | e4d0416682374541d42aebe9b3535dbfa7fd0058 (patch) | |
| tree | a7f70047650464a25666464552b1b189dc756398 /gcc/ada/contracts.adb | |
| parent | 66340e0e9a029aa5cbba0e63f66e5319c1286ce4 (diff) | |
| download | gcc-e4d0416682374541d42aebe9b3535dbfa7fd0058.zip gcc-e4d0416682374541d42aebe9b3535dbfa7fd0058.tar.gz gcc-e4d0416682374541d42aebe9b3535dbfa7fd0058.tar.bz2 | |
[multiple changes]
2017-01-13 Arnaud Charlet <charlet@adacore.com>
* bindusg.adb: Improve usage output for -f switch.
2017-01-13 Hristian Kirtchev <kirtchev@adacore.com>
* frontend.adb, freeze.adb, sem_res.adb, sem_attr.adb, sem_ch8.adb:
Minor reformatting.
2017-01-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Is_Predicate_Static): Following the intent of the RM,
treat comparisons on strings as legal in a Static_Predicate.
(Is_Predicate_Static, Is_Type_Ref): Predicate also returns true on
a function call that is the expansion of a string comparison.The
function call is built when compiling the corresponding predicate
function, but the expression has been found legal as a static
predicate during earlier analysis.
* sem_eval.adb (Real_Or_String_Static_Predicate_Matches): Handle
properly a function call that is the expansion of a string
comparison operation, in order to recover the Static_Predicate
expression and apply it to a static argument when needed.
From-SVN: r244400
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions