diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-10-27 11:46:38 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-27 12:46:38 +0100 |
| commit | 2bfad6eb411319a475bf7c5f5ffd79fe06780084 (patch) | |
| tree | de083c5e99a31d445fae58ac36235a1c5b4b2f48 /gcc/ada/inline.adb | |
| parent | cdabbb526556b8779df24df30b837dfe61554694 (diff) | |
| download | gcc-2bfad6eb411319a475bf7c5f5ffd79fe06780084.zip gcc-2bfad6eb411319a475bf7c5f5ffd79fe06780084.tar.gz gcc-2bfad6eb411319a475bf7c5f5ffd79fe06780084.tar.bz2 | |
inline.adb (Is_Expression_Function): Removed.
2015-10-27 Hristian Kirtchev <kirtchev@adacore.com>
* inline.adb (Is_Expression_Function): Removed.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): An internally
generated subprogram body that completes an expression function
inherits the SPARK_Mode from the spec.
* sem_res.adb (Resolve_Call): Update all calls to
Is_Expression_Function.
* sem_util.ads, sem_util.adb (Is_Expression_Function): Reimplemented.
(Is_Expression_Function_Or_Completion): New routine.
From-SVN: r229420
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index 99b536c..1330df9 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1357,10 +1357,6 @@ package body Inline is -- Returns True if subprogram Id is defined in the visible part of a -- package specification. - function Is_Expression_Function (Id : Entity_Id) return Boolean; - -- Returns True if subprogram Id was defined originally as an expression - -- function. - --------------------------------------------------- -- Has_Formal_With_Discriminant_Dependent_Fields -- --------------------------------------------------- @@ -1472,20 +1468,6 @@ package body Inline is and then List_Containing (Decl) = Visible_Declarations (P); end In_Package_Visible_Spec; - ---------------------------- - -- Is_Expression_Function -- - ---------------------------- - - function Is_Expression_Function (Id : Entity_Id) return Boolean is - Decl : Node_Id := Parent (Parent (Id)); - begin - if Nkind (Parent (Id)) = N_Defining_Program_Unit_Name then - Decl := Parent (Decl); - end if; - - return Nkind (Original_Node (Decl)) = N_Expression_Function; - end Is_Expression_Function; - ------------------------ -- Is_Unit_Subprogram -- ------------------------ |