diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-19 10:44:33 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-19 10:44:33 +0000 |
| commit | 70e174e4ceac89c2de4e26a46c377202fef962d4 (patch) | |
| tree | bfb39750177e255b93af29f9988aecd59737fa4b /libjava/classpath/gnu/java/net/protocol/https | |
| parent | 1a10e335567dbac8d8c4c73a5c88bc83b02bcd85 (diff) | |
| download | ppe42-gcc-70e174e4ceac89c2de4e26a46c377202fef962d4.tar.gz ppe42-gcc-70e174e4ceac89c2de4e26a46c377202fef962d4.zip | |
2014-02-19 Yannick Moy <moy@adacore.com>
* sem_ch10.adb (Analyze_Proper_Body): Issue error on missing
subunit in GNATprove_Mode.
* sinfo.ads (GNATprove_Mode): Document error issued in GNATprove_Mode.
2014-02-19 Hristian Kirtchev <kirtchev@adacore.com>
* lib-xref.ads Alphabetize the contents of table
Xref_Entity_Letters. Add an entry in table Xref_Entity_Letters
for E_Abstract_State. List all letters and symbols in use.
* sem_prag.adb (Analyze_Abstract_State): Update all calls
to Create_Abstract_State to reflect the new signature.
(Create_Abstract_State): Change subprogram profile and update
the comment on usage. Use the proper location of the state
declaration when creating a new abstract state entity. Do not
generate an external name, but simply reuse the name coming from
the state declaration.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207884 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/gnu/java/net/protocol/https')
0 files changed, 0 insertions, 0 deletions
