diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-03-02 11:09:11 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-03-02 11:09:11 +0000 |
| commit | 9046ac26224b22d57d1ced3ae46026e96be37211 (patch) | |
| tree | b8abb6423bafd49b454a04699c1b78e9ea319509 /gcc/ada/ChangeLog | |
| parent | e8600b0de788b70622a01fdc40344ed7ce92db33 (diff) | |
| download | gcc-9046ac26224b22d57d1ced3ae46026e96be37211.tar.gz | |
2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Analyze_Attribute): Factor out heavily indented
code in Denote_Same_Function. Do not analyze attribute 'Result
when it is inside procedure _Postconditions. Remove a misplaced
warning diagnostic. Code cleanup.
(Denote_Same_Function): New routine.
* sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Code
cleanup. Warn on pre/postconditions on an inlined subprogram.
(Analyze_Pragma, Refined_Post case): Warn on pre/postconditions on
an inlined subprogram.
(Analyze_Pre_Post_Condition_In_Decl_Part): Code cleanup. Warn on
pre/post condition on an inlined subprogram.
(Analyze_Test_Case_In_Decl_Part): Code cleanup. Warn on
pre/postconditions on an inlined subprogram.
(Check_Postcondition_Use_In_Inlined_Subprogram): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221112 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b1bab66e16e..1c8ef6a8f46 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,22 @@ 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com> + * sem_attr.adb (Analyze_Attribute): Factor out heavily indented + code in Denote_Same_Function. Do not analyze attribute 'Result + when it is inside procedure _Postconditions. Remove a misplaced + warning diagnostic. Code cleanup. + (Denote_Same_Function): New routine. + * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Code + cleanup. Warn on pre/postconditions on an inlined subprogram. + (Analyze_Pragma, Refined_Post case): Warn on pre/postconditions on + an inlined subprogram. + (Analyze_Pre_Post_Condition_In_Decl_Part): Code cleanup. Warn on + pre/post condition on an inlined subprogram. + (Analyze_Test_Case_In_Decl_Part): Code cleanup. Warn on + pre/postconditions on an inlined subprogram. + (Check_Postcondition_Use_In_Inlined_Subprogram): New routine. + +2015-03-02 Hristian Kirtchev <kirtchev@adacore.com> + * sem_prag.adb (Ensure_Aggregate_Form): Ensure that the name denoted by the Chars of a pragma argument association has the proper Sloc when converted into an aggregate. |