tree a47e9f3f9e700de5e62f46cef56f38e3dead4c39
parent a906221fc1f1bc3f9baab2d20a242aac07a95d12
author pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> 1544526723 +0000
committer pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> 1544526723 +0000

[Ada] Improve error message when named number passed as global item

When a named number is used in Global/Depends contracts as global item,
the error message could be confusing to users new to Ada. Now the
message explains that named numbers are not objects.

For instance on the following illegal code snippet:

     $ gcc -c bad_global.ads

     1. package Bad_Global is
     2.
     3.    X : constant := 1;
     4.    Y : constant := 1.0;
     5.
     6.    procedure P with
     7.      Global => (Input => X,
                                 |
        >>> global item must denote object, state or current instance
            of concurrent type
        >>> named number "X" is not an object

     8.                 In_Out => Y);
                                  |
        >>> global item must denote object, state or current instance
            of concurrent type
        >>> named number "Y" is not an object

     9.
    10. end Bad_Global;

2018-12-11  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* sem_prag.adb (Analyze_Global_Item): Refine error message.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@267011 138bc75d-0d04-0410-961f-82ee72b054a4