diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-29 15:02:05 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-29 15:02:05 +0000 |
| commit | 1c38ef3f6c9a2370eea0b01bc651a5f99b556326 (patch) | |
| tree | 99975ce04ccdb2cf387b17ba7c150f907dd6b0a6 /gcc/ada/sem_util.ads | |
| parent | bd41c34999a2959108275a5c984c1cce17b2bcc4 (diff) | |
| download | gcc-1c38ef3f6c9a2370eea0b01bc651a5f99b556326.tar.gz | |
2014-07-29 Vincent Celier <celier@adacore.com>
* gnat_ugn.texi: Document that configuration pragmas files are
added to the dependencies, unless they contain only pragmas
Source_File_Name_Project.
2014-07-29 Robert Dewar <dewar@adacore.com>
* frontend.adb: Minor reformatting.
2014-07-29 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb (Add_Call_By_Copy_Code): Minor reformatting
(Expand_Actuals): Make sure predicate checks are properly applied
for the case of OUT or IN OUT parameters.
* sem_res.adb: Minor reformatting (Resolve_Actuals): Skip
predicate tests on arguments for Finalize
* sem_util.adb (No_Predicate_Test_On_Arguments): Returns True
if predicate tests on subprogram arguments should be skipped.
* sem_util.ads (No_Predicate_Test_On_Arguments): New function
2014-07-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): If there is an address
clause for the object and the expression is an aggregate, defer
resolution and expansion of the aggregate until the freeze point
of the entity.
* sem_aggr.adb (Resolve_Aggregate): An others_clause is legal if
the parent node is an N_Reference generated during expansion.
2014-07-29 Vincent Celier <celier@adacore.com>
* prj.adb (Add_To_Buffer): Effectively double the size of the buffer.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213209 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 6a0e126888a..62d995e422d 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1582,6 +1582,11 @@ package Sem_Util is -- Note that the result produced is always an expression, not a parameter -- association node, even if named notation was used. + function No_Predicate_Test_On_Arguments (Subp : Entity_Id) return Boolean; + -- Subp is the entity for a subprogram call. This function returns True to + -- eliminate predicate tests on the input or output arguments in a call to + -- this subprogram. See body for exact cases currently covered. + function No_Scalar_Parts (T : Entity_Id) return Boolean; -- Tests if type T can be determined at compile time to have no scalar -- parts in the sense of the Valid_Scalars attribute. Returns True if |