diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-19 11:44:33 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-19 11:44:33 +0100 |
| commit | ddd2bec582698a9a2ad20030278f0137d3b242c5 (patch) | |
| tree | bfb39750177e255b93af29f9988aecd59737fa4b /gcc/tree-inline.c | |
| parent | 3a845e077b5cafd292efa58e859c10546e399603 (diff) | |
| download | gcc-ddd2bec582698a9a2ad20030278f0137d3b242c5.zip gcc-ddd2bec582698a9a2ad20030278f0137d3b242c5.tar.gz gcc-ddd2bec582698a9a2ad20030278f0137d3b242c5.tar.bz2 | |
[multiple changes]
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.
From-SVN: r207884
Diffstat (limited to 'gcc/tree-inline.c')
0 files changed, 0 insertions, 0 deletions