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

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue May 27 10:13:53 2008
New Revision: 135999

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135999
Log:
2008-05-27  Quentin Ochem  <ochem@adacore.com>

	* s-stausa.adb (Initialize): Updated result initialization, and
	initialization of environment stack.
	(Fill_Stack): Improved computation of the pattern zone, taking into
	account already filled at the calling point.
	(Get_Usage_Range): Now uses Min_Measure and Max_Measure instead of
	Measure and Overflow_Guard.
	(Report_Result): Fixed computation of the result using new fields of
	Stack_Analyzer.
	
	* s-stausa.ads (Initialize_Analyzer): Replaced Size / Overflow_Guard
	params by more explicit Stack_Size / Max_Pattern_Size params.
	(Stack_Analyzer): Added distinct Stack_Size & Pattern_Size fields.
	Added Stack_Used_When_Filling field.
	(Task_Result): Replaced Measure / Overflow_Guard by more explicit
	Min_Measure and Max_Measure fields.
	
	* s-tassta.adb (Task_Wrapper): Updated call to Initialize_Analyzer.


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