diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-29 15:19:01 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-29 15:19:01 +0000 |
| commit | aab6f870f31f09ea6664e529669fa529d9ca68a7 (patch) | |
| tree | 901dea19bd1e814db8e43571431198eab23c616f /libjava/classpath/java/net/ServerSocket.java | |
| parent | f29863eed95c1a1f66fa5ec63ec8cac8aa1f6585 (diff) | |
| download | ppe42-gcc-aab6f870f31f09ea6664e529669fa529d9ca68a7.tar.gz ppe42-gcc-aab6f870f31f09ea6664e529669fa529d9ca68a7.zip | |
2014-01-29 Thomas Quinot <quinot@adacore.com>
* sem_ch4.adb (Find_Component_In_Instance): Update comment.
2014-01-29 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb (Build_Task_Image_Prefix): Indicate that the
resulting string is an internal entity. and thus requires no
initialization. This is relevant when Initialize_ Scalars is
enabled, because the resultant spurious initialization may lead to
secondary stack anomalies that produce a mangled name for a task.
2014-01-29 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): SPARK_Mode
not inherited from spec anymore. Check consistency
rules after processing of declarations.
* sem_ch7.adb (Analyze_Package_Body_Helper): SPARK_Mode not inherited
from spec anymore. Check consistency rules after processing of
declarations.
(Analyze_Package_Declaration): Set SPARK_Mode only for non-generic
packages.
* sem_prag.adb (Analyze_Pragma/Pragma_SPARK_Mode): Implement new
consistency rules.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207242 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/net/ServerSocket.java')
0 files changed, 0 insertions, 0 deletions
