[multiple changes]

2013-09-10  Thomas Quinot  <quinot@adacore.com>

	* adaint.c (__gnat_is_executable_file_attr): Should be true
	for an executable regular file only only (not for a directory
	that has the executable permission).

2013-09-10  Ed Schonberg  <schonberg@adacore.com>

	* sem_res.adb: Further work on operator calls in ASIS.

2013-09-10  Yannick Moy  <moy@adacore.com>

	* sinfo.ads, sem_prag.ads, sem_ch13.adb: Minor correction and comment
	update.

From-SVN: r202459

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 13d2590b1fcb35c7c84278c43c9a8c346aecb1a1..cbf0079482819d9b9d77a5374f179a31701cf604 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,18 @@
+2013-09-10  Thomas Quinot  <quinot@adacore.com>
+
+       * adaint.c (__gnat_is_executable_file_attr): Should be true
+       for an executable regular file only only (not for a directory
+       that has the executable permission).
+
+2013-09-10  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_res.adb: Further work on operator calls in ASIS.
+
+2013-09-10  Yannick Moy  <moy@adacore.com>
+
+       * sinfo.ads, sem_prag.ads, sem_ch13.adb: Minor correction and comment
+       update.
+
 2013-09-10  Thomas Quinot  <quinot@adacore.com>
 
        * aspects.ads, sem_ch13.adb: Minor reformatting.

diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c
index 850e1fc47b187e9d305bfacfc38c40b558ff962f..f76edb739954e4558f1d82ee239048bef58b3498 100644 (file)
--- a/gcc/ada/adaint.c
+++ b/gcc/ada/adaint.c
@@ -2264,7 +2264,7 @@ __gnat_is_executable_file_attr (char* name, struct file_attributes* attr)
 #endif
    }
 
-   return attr->executable;
+   return attr->regular && attr->executable;
 }
 
 int

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index edaf8e7e7ceee6d89695d29cbba9a18f5ba6ec92..40cc72957d5f2beaf547ca4469c5b594a2dd4e76 100644 (file)
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -1378,7 +1378,7 @@ package body Sem_Ch13 is
                if Is_Ignored (Aspect) then
                   Set_Is_Ignored (Aitem);
                elsif Is_Checked (Aspect) then
-                  Set_Is_Checked (Aspect);
+                  Set_Is_Checked (Aitem);
                end if;
 
                Set_Corresponding_Aspect (Aitem, Aspect);
@@ -1396,7 +1396,7 @@ package body Sem_Ch13 is
 
             --  Skip looking at aspect if it is totally disabled. Just mark
             --  it as such for later reference in the tree. This also sets
-            --  the Is_Ignored flag appropriately.
+            --  the Is_Ignored and Is_Checked flags appropriately.
 
             Check_Applicable_Policy (Aspect);
 

diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads
index 78199319208111f9525b5508af7a70711063545e..ecfb3eda75a6c646ff6120511d5c2b4ec3d1730e 100644 (file)
--- a/gcc/ada/sem_prag.ads
+++ b/gcc/ada/sem_prag.ads
@@ -76,9 +76,10 @@ package Sem_Prag is
    --  If the name is a valid assertion kind name, then the Check_Policy pragma
    --  chain is checked for a matching entry (or for an Assertion entry which
    --  matches all possibilities). If a matching entry is found then the policy
-   --  is checked. If it is Off, Ignore, or Disable, then the Is_Ignored flag
-   --  is set in the aspect or pragma node. Additionally for policy Disable,
-   --  the Is_Disabled flag is set.
+   --  is checked. If it is On or Check, then the Is_Checked flag is set in
+   --  the aspect or pragma node. If it is Off, Ignore, or Disable, then the
+   --  Is_Ignored flag is set in the aspect or pragma node. Additionally for
+   --  policy Disable, the Is_Disabled flag is set.
    --
    --  If no matching Check_Policy pragma is found then the effect depends on
    --  whether -gnata was used, if so, then the call has no effect, otherwise

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 61f7712a0902af307e826d029c5e4f4ef2faabef..e08370e782433afdaa64a02efc0f5f2b1ebeadc5 100644 (file)
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -1583,15 +1583,16 @@ package body Sem_Res is
 
       if ASIS_Mode and then Nkind (N) in N_Op then
          if Is_Binary then
-            Set_Parameter_Associations
-              (Original_Node (N),
-               New_List (New_Copy_Tree (Left_Opnd (N)),
-                         New_Copy_Tree (Right_Opnd (N))));
+            Rewrite (First (Parameter_Associations (Original_Node (N))),
+               New_Copy_Tree (Left_Opnd (N)));
+            Rewrite (Next (First (Parameter_Associations (Original_Node (N)))),
+               New_Copy_Tree (Right_Opnd (N)));
          else
-            Set_Parameter_Associations
-              (Original_Node (N),
-               New_List (New_Copy_Tree (Right_Opnd (N))));
+            Rewrite (First (Parameter_Associations (Original_Node (N))),
+               New_Copy_Tree (Right_Opnd (N)));
          end if;
+
+         Set_Parent (Original_Node (N), Parent (N));
       end if;
    end Make_Call_Into_Operator;
 

diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads
index 906077b979378cf0bbeac48076ed95d5b1ddfcfd..78ab2c19434f60d6673cb0cb3702331614a3521f 100644 (file)
--- a/gcc/ada/sinfo.ads
+++ b/gcc/ada/sinfo.ads
@@ -1272,7 +1272,7 @@ package Sinfo is
    --  Is_Checked (Flag11-Sem)
    --    Present in N_Aspect_Specification and N_Pragma nodes. Set for an
    --    assertion aspect or pragma, or check pragma for an assertion, that
-   --    is to be checked at run - time. If either Is_Checked or Is_Ignored
+   --    is to be checked at run time. If either Is_Checked or Is_Ignored
    --    is set (they cannot both be set), then this means that the status of
    --    the pragma has been checked at the appropriate point and should not
    --    be further modified (in some cases these flags are copied when a