This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213162 - in /trunk/gcc/ada: ChangeLog einfo.ad...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 29 Jul 2014 13:03:50 -0000
- Subject: r213162 - in /trunk/gcc/ada: ChangeLog einfo.ad...
Author: charlet
Date: Tue Jul 29 13:03:49 2014
New Revision: 213162
URL: https://gcc.gnu.org/viewcvs?rev=213162&root=gcc&view=rev
Log:
2014-07-29 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Static_Real_Or_String_Predicate): New function
(Set_Static_Real_Or_String_Predicate): New procedure
* sem_ch13.adb (Build_Predicate_Functions): Accomodate static
string predicates (Is_Predicate_Static): Handle static string
predicates.
* sem_eval.adb (Real_Or_String_Static_Predicate_Matches):
New procedure (Check_Expression_Against_Static_Predicate):
Deal with static string predicates, now fully implemented
(Eval_Relational_Op): Allow string equality/inequality as static
if not comes from source.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/einfo.adb
trunk/gcc/ada/einfo.ads
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_eval.adb