diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-07-29 13:03:49 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:03:49 +0200 |
| commit | fc3a3f3b7e04b8249af59cbc6b398ef9518c8cb1 (patch) | |
| tree | 96eaf0caa622ad17bfc1d6319c02b1109f2c0ead /gcc/ada/expect.c | |
| parent | 60f908dd027ea9561239e46b55246da68839b18b (diff) | |
| download | gcc-fc3a3f3b7e04b8249af59cbc6b398ef9518c8cb1.zip gcc-fc3a3f3b7e04b8249af59cbc6b398ef9518c8cb1.tar.gz gcc-fc3a3f3b7e04b8249af59cbc6b398ef9518c8cb1.tar.bz2 | |
einfo.ads, einfo.adb (Static_Real_Or_String_Predicate): New function
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.
From-SVN: r213162
Diffstat (limited to 'gcc/ada/expect.c')
0 files changed, 0 insertions, 0 deletions