diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2017-01-23 13:28:58 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 14:28:58 +0100 |
| commit | dafe11cd1851fecb7b7bc780410be394fc99142a (patch) | |
| tree | 3438d0c85912057159c2ab208a41926a113a1b2b /gcc/ada/inline.adb | |
| parent | bfaf8a97808c691ae311a55cfa0e930e92ee65a3 (diff) | |
| download | gcc-dafe11cd1851fecb7b7bc780410be394fc99142a.zip gcc-dafe11cd1851fecb7b7bc780410be394fc99142a.tar.gz gcc-dafe11cd1851fecb7b7bc780410be394fc99142a.tar.bz2 | |
ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.
2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
* ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.
* gnat1drv.adb Generate an empty object file for an ignored
Ghost compilation unit.
* inline.adb, sem_util.adb, sem_ch4.adb: Minor reformatting.
From-SVN: r244808
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index 4e8dd7d..78d921a 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -958,8 +958,8 @@ package body Inline is ----------------------------------------- function Has_Single_Return_In_GNATprove_Mode return Boolean is - Last_Statement : Node_Id := Empty; Body_To_Inline : constant Node_Id := N; + Last_Statement : Node_Id := Empty; function Check_Return (N : Node_Id) return Traverse_Result; -- Returns OK on node N if this is not a return statement different @@ -972,8 +972,8 @@ package body Inline is function Check_Return (N : Node_Id) return Traverse_Result is begin case Nkind (N) is - when N_Simple_Return_Statement - | N_Extended_Return_Statement + when N_Extended_Return_Statement + | N_Simple_Return_Statement => if N = Last_Statement then return OK; @@ -3166,9 +3166,9 @@ package body Inline is -- In GNATprove mode, keep the most precise type of the actual for -- the temporary variable, when the formal type is unconstrained. -- Otherwise, the AST may contain unexpected assignment statements - -- to a temporary variable of unconstrained type renaming a - -- local variable of constrained type, which is not expected - -- by GNATprove. + -- to a temporary variable of unconstrained type renaming a local + -- variable of constrained type, which is not expected by + -- GNATprove. elsif Etype (F) /= Etype (A) and then (not GNATprove_Mode or else Is_Constrained (Etype (F))) |