[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 23 Jan 2017 11:27:01 +0000 (12:27 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 23 Jan 2017 11:27:01 +0000 (12:27 +0100)
commit13230c68da020c55d3369b489c0b49032637e242
tree8cdc249dd45beb4e3f181872744f6515019607d6
parent0d1e3cc99536b30a6eec4b3cb373cfc6bbafebd5
[multiple changes]

2017-01-23  Eric Botcazou  <ebotcazou@adacore.com>

* checks.adb: Minor fix in comment.

2017-01-23  Philippe Gil  <gil@adacore.com>

* g-debpoo.adb (Do_Report) remove freed chunks from chunks
count in Sort = Memory_Usage or Allocations_Count

2017-01-23  Justin Squirek  <squirek@adacore.com>

* sem_ch3.adb: Code cleanup.

2017-01-23  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Refined_Depends_In_Decl_Part): Move all global
variables to the local variable section. Update the profile
of various nested routine that previously had visibility
of those globals. One the matching phase has completed,
remove certain classes of clauses which are considered noise.
(Check_Dependency_Clause): Properly detect a match between two
'Result attributes. Update the various post-match cases to use
Is_Already_Matched as this routine now automatically recognizes
a previously matched 'Result attribute.
(Is_Already_Matched): New routine.
(Remove_Extra_Clauses): New routine.
(Report_Extra_Clauses): Remove the detection of ... => null
clauses as this is now done in Remove_Extra_Clauses.

From-SVN: r244782
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/g-debpoo.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_prag.adb