diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 14:30:55 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 14:30:55 +0200 |
| commit | 274c2cda3e077975c406ae5549813652c4f76289 (patch) | |
| tree | df2f1dcc4049139717baaca520a564cabf8e206a /gcc/ada/debug.adb | |
| parent | a6363ed30ea916a6cc1058cffce907c25aadcf8d (diff) | |
| download | gcc-274c2cda3e077975c406ae5549813652c4f76289.zip gcc-274c2cda3e077975c406ae5549813652c4f76289.tar.gz gcc-274c2cda3e077975c406ae5549813652c4f76289.tar.bz2 | |
[multiple changes]
2016-04-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Check_In_Out_States.Check_Constituent_Usage):
Update the comment on usage. Reimplemented.
(Check_Input_States.Check_Constituent_Usage): Update the comment
on usage. A Proof_In constituent can now refine an Input state
as long as there is at least one Input constituent present.
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Check_Inline_Pragma): Use the Sloc of the
body id as the sloc of the entity in the generated subprogram
declaration, to avoid spurious conformance errors when style
checks are enabled.
From-SVN: r235137
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions