diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2016-04-20 09:22:59 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 11:22:59 +0200 |
| commit | d566e90a165b8d8aeb74765fc1d845047200cf45 (patch) | |
| tree | 8dc786e9321efcb09b44d818d2d73acd1760555c /gcc/ada/sem_util.ads | |
| parent | 9a476d752d5693cba41ae966e680b9ae1e03f144 (diff) | |
| download | gcc-d566e90a165b8d8aeb74765fc1d845047200cf45.zip gcc-d566e90a165b8d8aeb74765fc1d845047200cf45.tar.gz gcc-d566e90a165b8d8aeb74765fc1d845047200cf45.tar.bz2 | |
sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite the renamed operator when the associated node appears within a...
2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite the
renamed operator when the associated node appears within a
pre/postcondition.
* sem_util.ads, sem_util.adb (In_Pre_Post_Condition): New routine.
From-SVN: r235249
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 4575077..84a436c 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1152,8 +1152,8 @@ package Sem_Util is -- Returns true if the Typ_Ent implements interface Iface_Ent function In_Assertion_Expression_Pragma (N : Node_Id) return Boolean; - -- Determine whether an arbitrary node appears in a pragma that acts as an - -- assertion expression. See Sem_Prag for the list of qualifying pragmas. + -- Returns True if node N appears within a pragma that acts as an assertion + -- expression. See Sem_Prag for the list of qualifying pragmas. function In_Instance return Boolean; -- Returns True if the current scope is within a generic instance @@ -1179,6 +1179,10 @@ package Sem_Util is function In_Pragma_Expression (N : Node_Id; Nam : Name_Id) return Boolean; -- Returns true if the expression N occurs within a pragma with name Nam + function In_Pre_Post_Condition (N : Node_Id) return Boolean; + -- Returns True if node N appears within a pre/postcondition pragma. Note + -- the pragma Check equivalents are NOT considered. + function In_Reverse_Storage_Order_Object (N : Node_Id) return Boolean; -- Returns True if N denotes a component or subcomponent in a record or -- array that has Reverse_Storage_Order. |