2014-08-04 Thomas Quinot <quinot@adacore.com>

	* s-fatgen.ads, s-fatgen.adb (S, P): New visible type declarations
	(Unaligned_Valid): Remove now unused subprogram.
	* exp_attr.adb (Expand_N_Attribute_Reference, case
	Attribute_Valid): If the prefix is in reverse SSO or potentially
	unaligned, copy it using a byte copy operation to a temporary
	variable.
	* einfo.adb: Minor comment fix.

2014-08-04  Hristian Kirtchev  <kirtchev@adacore.com>

	* freeze.adb (Freeze_Entity): Do not freeze formal subprograms.



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

1 files changed, 0 insertions, 26 deletions

diff --git a/gcc/ada/s-fatgen.adb b/gcc/ada/s-fatgen.adb
index be564cf6a0e..62534f67c38 100644
--- a/gcc/ada/s-fatgen.adb
+++ b/gcc/ada/s-fatgen.adb
@@ -918,30 +918,4 @@ package body System.Fat_Gen is
          ((E = IEEE_Emin - 1) and then abs To_Float (SR) = 1.0);
    end Valid;
 
-   ---------------------
-   -- Unaligned_Valid --
-   ---------------------
-
-   function Unaligned_Valid (A : System.Address) return Boolean is
-      subtype FS is String (1 .. T'Size / Character'Size);
-      type FSP is access FS;
-
-      function To_FSP is new Ada.Unchecked_Conversion (Address, FSP);
-
-      Local_T : aliased T;
-
-   begin
-      --  Note that we have to be sure that we do not load the value into a
-      --  floating-point register, since a signalling NaN may cause a trap.
-      --  The following assignment is what does the actual alignment, since
-      --  we know that the target Local_T is aligned.
-
-      To_FSP (Local_T'Address).all := To_FSP (A).all;
-
-      --  Now that we have an aligned value, we can use the normal aligned
-      --  version of Valid to obtain the required result.
-
-      return Valid (Local_T'Access);
-   end Unaligned_Valid;
-
 end System.Fat_Gen;