r244400 - in /trunk/gcc/ada: ChangeLog bindusg....
charlet@gcc.gnu.org
charlet@gcc.gnu.org
Fri Jan 13 10:05:00 GMT 2017
Author: charlet
Date: Fri Jan 13 10:05:22 2017
New Revision: 244400
URL: https://gcc.gnu.org/viewcvs?rev=244400&root=gcc&view=rev
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/bindusg.adb
trunk/gcc/ada/freeze.adb
trunk/gcc/ada/frontend.adb
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_ch8.adb
trunk/gcc/ada/sem_eval.adb
trunk/gcc/ada/sem_res.adb
More information about the Gcc-cvs
mailing list