diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-13 16:17:09 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-13 16:17:09 +0000 |
| commit | 0ebec51cefce856e4ecc4a58994bc040f900af19 (patch) | |
| tree | 3c6492702c646f206d699248b305ad3f07f56a18 /libjava/classpath/java/sql/Connection.java | |
| parent | 3040c712aa8389fa12c8d72f15a8176741294ca0 (diff) | |
| download | ppe42-gcc-0ebec51cefce856e4ecc4a58994bc040f900af19.tar.gz ppe42-gcc-0ebec51cefce856e4ecc4a58994bc040f900af19.zip | |
2013-10-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb: in Ada 2012 access_to_function types can have
in-out parameters.
(Derived_Type_Declaration): SPARK restriction
must be flagged on the original node, since it may have been
written as a subtype declaration.
(Analyze_Subtype_Declaration): Do not enter name of
entity in declaration if it is the current entity, because it may
have been inserted in a previous analysis and it appears in the
else_part of an if-statement that is rewritten during expansion.
2013-10-13 Yannick Moy <moy@adacore.com>
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Remove procedure.
(Expand_SPARK): Remove call to Expand_SPARK_N_Attribute_Reference and
Expand_SPARK_N_Simple_Return_Statement.
(Expand_SPARK_N_Simple_Return_Statement,
Expand_SPARK_Simple_Function_Return): Remove procedures.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203502 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/sql/Connection.java')
0 files changed, 0 insertions, 0 deletions
