diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-03-02 11:09:11 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-02 12:09:11 +0100 |
| commit | 7c76aa3f9f6a59ad56dcf3bce8197f4ac53242dc (patch) | |
| tree | b8abb6423bafd49b454a04699c1b78e9ea319509 /gcc/java/javaop.h | |
| parent | aaeb3b3a867a793f3e08de6cd6ac76539907fef3 (diff) | |
| download | gcc-7c76aa3f9f6a59ad56dcf3bce8197f4ac53242dc.zip gcc-7c76aa3f9f6a59ad56dcf3bce8197f4ac53242dc.tar.gz gcc-7c76aa3f9f6a59ad56dcf3bce8197f4ac53242dc.tar.bz2 | |
sem_attr.adb (Analyze_Attribute): Factor out heavily indented code in Denote_Same_Function.
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.
From-SVN: r221112
Diffstat (limited to 'gcc/java/javaop.h')
0 files changed, 0 insertions, 0 deletions