diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:02:58 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:02:58 +0200 |
| commit | fd22e260b5d48a245411c09858fa42b1614a89c7 (patch) | |
| tree | 81ad184a60bc98c7641724338100bd5ead5de616 /gcc/ada/sem_ch8.adb | |
| parent | 0d66b5969fec023f9aa6c297ba8550f5621cb2ea (diff) | |
| download | gcc-fd22e260b5d48a245411c09858fa42b1614a89c7.zip gcc-fd22e260b5d48a245411c09858fa42b1614a89c7.tar.gz gcc-fd22e260b5d48a245411c09858fa42b1614a89c7.tar.bz2 | |
[multiple changes]
2016-04-18 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Call): Prevent inlining of
calls inside expression functions. Factor previous code issuing
errors to call Cannot_Inline instead, which does appropriate
processing of message for GNATprove.
2016-04-18 Arnaud Charlet <charlet@adacore.com>
* einfo.ads, sem_ch3.adb, sem_ch8.adb, osint-l.adb, rtsfind.adb,
osint-b.adb: Cleanups.
2016-04-18 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Only create
body to inline in GNATprove mode when SPARK_Mode On applies to
subprogram body.
* sem_prag.adb, sem_prag.ads (Get_SPARK_Mode_Type): Make function
public.
2016-04-18 Eric Botcazou <ebotcazou@adacore.com>
* layout.adb: Fix minor typo in comment.
* inline.adb: Fix minor pasto.
* sem_ch12.ads: Fix minor typos in comments.
From-SVN: r235111
Diffstat (limited to 'gcc/ada/sem_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index e8f7b1f..73303f4 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -7526,7 +7526,7 @@ package body Sem_Ch8 is -- array of Boolean type. when Name_Op_And | Name_Op_Not | Name_Op_Or | Name_Op_Xor => - while Id /= Priv_Id loop + while Id /= Priv_Id loop if Valid_Boolean_Arg (Id) and then Is_Base_Type (Id) then Add_Implicit_Operator (Id); return True; @@ -7538,7 +7538,7 @@ package body Sem_Ch8 is -- Equality: look for any non-limited type (result is Boolean) when Name_Op_Eq | Name_Op_Ne => - while Id /= Priv_Id loop + while Id /= Priv_Id loop if Is_Type (Id) and then not Is_Limited_Type (Id) and then Is_Base_Type (Id) @@ -7553,7 +7553,7 @@ package body Sem_Ch8 is -- Comparison operators: scalar type, or array of scalar when Name_Op_Lt | Name_Op_Le | Name_Op_Gt | Name_Op_Ge => - while Id /= Priv_Id loop + while Id /= Priv_Id loop if (Is_Scalar_Type (Id) or else (Is_Array_Type (Id) and then Is_Scalar_Type (Component_Type (Id)))) @@ -7576,7 +7576,7 @@ package body Sem_Ch8 is Name_Op_Multiply | Name_Op_Divide | Name_Op_Expon => - while Id /= Priv_Id loop + while Id /= Priv_Id loop if Is_Numeric_Type (Id) and then Is_Base_Type (Id) then Add_Implicit_Operator (Id); return True; @@ -7588,7 +7588,7 @@ package body Sem_Ch8 is -- Concatenation: any one-dimensional array type when Name_Op_Concat => - while Id /= Priv_Id loop + while Id /= Priv_Id loop if Is_Array_Type (Id) and then Number_Dimensions (Id) = 1 and then Is_Base_Type (Id) |