diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 09:53:29 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 09:53:29 +0200 |
| commit | b0186f718a778b98e1c77a8279a10d79e2d83b8d (patch) | |
| tree | 3e21c7b70b04eee27ee374a0f5c03b3d7ce795b3 /gcc/ada/sem.adb | |
| parent | 767bb4e896d51ddb4aa6b44663f52f8be9d0f052 (diff) | |
| download | gcc-b0186f718a778b98e1c77a8279a10d79e2d83b8d.zip gcc-b0186f718a778b98e1c77a8279a10d79e2d83b8d.tar.gz gcc-b0186f718a778b98e1c77a8279a10d79e2d83b8d.tar.bz2 | |
[multiple changes]
2011-08-02 Robert Dewar <dewar@adacore.com>
* exp_util.adb, par-ch10.adb, par-ch6.adb, sem.adb, sem_ch6.adb,
sem_ch6.ads, sinfo.adb, sinfo.ads, sprint.adb: Change parameterized
expression to expression function.
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb: transform simple Ada2012 membership into equality only
if types are compatible.
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_res.adb (Matching_Static_Array_Bounds): new function which
returns True if its argument array types have same dimension and same
static bounds at each index.
(Resolve_Actuals): issue an error in formal mode on actuals passed as
OUT or IN OUT paramaters which are not view conversions in SPARK.
(Resolve_Arithmetic_Op): issue an error in formal mode on
multiplication or division with operands of fixed point types which are
not qualified or explicitly converted.
(Resolve_Comparison_Op): issue an error in formal mode on comparisons of
Boolean or array type (except String) operands.
(Resolve_Equality_Op): issue an error in formal mode on equality
operators for array types other than String with non-matching static
bounds.
(Resolve_Logical_Op): issue an error in formal mode on logical operators
for array types with non-matching static bounds. Factorize the code in
Matching_Static_Array_Bounds.
(Resolve_Qualified_Expression): issue an error in formal mode on
qualified expressions for array types with non-matching static bounds.
(Resolve_Type_Conversion): issue an error in formal mode on type
conversion for array types with non-matching static bounds
From-SVN: r177089
Diffstat (limited to 'gcc/ada/sem.adb')
| -rw-r--r-- | gcc/ada/sem.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/sem.adb b/gcc/ada/sem.adb index 0061d6b..5b43499 100644 --- a/gcc/ada/sem.adb +++ b/gcc/ada/sem.adb @@ -223,6 +223,9 @@ package body Sem is when N_Explicit_Dereference => Analyze_Explicit_Dereference (N); + when N_Expression_Function => + Analyze_Expression_Function (N); + when N_Expression_With_Actions => Analyze_Expression_With_Actions (N); @@ -439,9 +442,6 @@ package body Sem is when N_Parameter_Association => Analyze_Parameter_Association (N); - when N_Parameterized_Expression => - Analyze_Parameterized_Expression (N); - when N_Pragma => Analyze_Pragma (N); |