2016-04-27 Bob Duff <duff@adacore.com>
commit2f3f99c452f1fe8857f2ee9af32f459757f6f80d
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 27 Apr 2016 13:09:13 +0000 (27 13:09 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 27 Apr 2016 13:09:13 +0000 (27 13:09 +0000)
treeb5206ef9946339c8dbec6c8e9e033f1bbd9cabe6
parent5ee52820e3bfb83231b7d3488b953f83821e2c31
2016-04-27  Bob Duff  <duff@adacore.com>

* a-chtgop.adb (Adjust): Zero the tampering counts on assignment,
as is done for the other containers.

2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>

* ghost.adb (In_Subprogram_Body_Profile): New routine.
(Is_OK_Declaration): Treat an unanalyzed expression
function as an OK context.  Treat a reference to a Ghost entity
as OK when it appears within the profile of a subprogram body.

2016-04-27  Bob Duff  <duff@adacore.com>

* errout.ads: Document the fact that informational messages
don't have to be warnings.
* errout.adb (Error_Msg_Internal): In statistics counts, deal
correctly with informational messages that are not warnings.
(Error_Msg_NEL): Remove useless 'if' aroung Set_Posted, because
Set_Posted already checks for errors and ignores others.
* erroutc.adb (Prescan_Message): Set Is_Serious_Error to False
if Is_Info_Msg; the previous code was assuming that Is_Info_Msg
implies Is_Warning_Msg.
* errutil.adb (Error_Msg): In statistics counts, deal correctly
with informational messages that are not warnings.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235500 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/a-chtgop.adb
gcc/ada/errout.adb
gcc/ada/errout.ads
gcc/ada/erroutc.adb
gcc/ada/errutil.adb
gcc/ada/ghost.adb