diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-01-13 10:05:22 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-01-13 10:05:22 +0000 |
| commit | ea90be0fed592494b2ddb3eaa34a10bedec1e396 (patch) | |
| tree | a7f70047650464a25666464552b1b189dc756398 /gcc/ada/sem_attr.adb | |
| parent | 18cb6d78c4c974d02855890c04f65d1f82a51667 (diff) | |
| download | gcc-ea90be0fed592494b2ddb3eaa34a10bedec1e396.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244400 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 9adbe7a2e55..dcb32867a3a 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -7109,13 +7109,14 @@ package body Sem_Attr is end case; - -- In SPARK some attribute references depend on Tasking_State, so we - -- need to make sure we load this so that gnat2why has the entity - -- available. See SPARK RM 9(18) for the relevant rule. + -- In SPARK certain attributes (see below) depend on Tasking_State. + -- Ensure that the entity is available for gnat2why by loading it. + -- See SPARK RM 9(18) for the relevant rule. if GNATprove_Mode then declare Unused : Entity_Id; + begin case Attr_Id is when Attribute_Callable | |