r130863 - in /trunk/gcc/ada: s-stausa.adb s-sta...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Dec 13 10:34:35 2007
New Revision: 130863

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130863
Log:
2007-12-06  Olivier Hainque  <hainque@adacore.com>

	* s-stausa.ads (Stack_Analyzer): Remove First_Is_Topmost, redundant
	with Stack_Grows_Down in System.Parameters. Rename Array_Address into
	Stack_Overlay_Address and document that we are using an internal
	abstraction.
	(Byte_Size, Unsigned_32_Size): Remove, now useless.
	(Pattern_Type, Bytes_Per_Pattern): New subtype and constant, to be used
	consistently throughout the various implementation pieces.

	* s-stausa.adb (Stack_Slots): New type, abstraction for the stack
	overlay we are using to fill the stack area with patterns.
	(Top_Slot_Index_In, Bottom_Slot_Index_In): Operations on Stack_Slots.
	(Push_Index_Step_For, Pop_Index_Step_For): Likewise.
	(Fill_Stack, Compute_Result): Use the Stack_Slots abstraction.


Modified:
    trunk/gcc/ada/s-stausa.adb
    trunk/gcc/ada/s-stausa.ads