From 38f5559fd6bb31438a619828fe363fea2e34d17b Mon Sep 17 00:00:00 2001 From: charlet Date: Tue, 15 Nov 2005 13:51:09 +0000 Subject: 2005-11-14 Robert Dewar Ed Schonberg PR ada/18434 * types.ads: Include All_Checks in Suppress_Array * checks.adb (Check_Needed): Remove kludge for a/=b rewritten as not(a=b), since we no longer do this rewriting, and hence it is not needed. (Elaboration_Checks_Suppressed): Add special casing to deal with different cases of static and dynamic elaboration checks (all checks does not count in the first case, but does in the second). (Expr_Known_Valid): Do not assume that the result of any arbitrary function call is valid, since this is not the case. (Ensure_Valid): Do not apply validity check to a real literal in a universal or fixed context * exp_ch4.adb (Expand_N_Op_Ne): Don't expand a/=b to not(a=b) for elementary types using the operator in standard. It is cleaner not to modify the programmers intent, especially in the case of floating-point. (Rewrite_Comparison): Fix handling of /= (this was always wrong, but it did not matter because we always rewrote a/=b to not(a=b). (Expand_Allocator_Expression): For an allocator expression whose nominal subtype is an unconstrained packed type, convert the expression to its actual constrained subtype. Implement warning for <= or >= where < or > not possible Fix to Vax_Float tests (too early in many routines, causing premature Vax_Float expansions. * sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow this pragma to be used with packages and generic packages as well as with subprograms. (Suppress): Set All_Checks, but not Elaboration_Check, for case of pragma Suppress (All_Checks) (Analyze_Pragma, case Warnings): Implement first argument allowed to be a string literal for precise control over warnings. Avoid raise of pragma in case of unrecognized pragma and just return instead. * sem_prag.ads: Minor reformatting * switch-c.adb (Scan_Front_End_Switches): Replace "raise Bad_Switch;" with call to new procedure Bad_Switch. Call Scan_Pos with new parameter Switch. Do not handle any exception. Include -gnatwx as part of -gnatg (warn on redundant parens) Allow optional = after -gnatm (Scan_Front_End_Switches): The -gnatp switch sets All_Checks, but no longer sets Elaboration_Checks. Code to set warning mode moved to Sem_Warn so that it can be shared by pragma processing. * s-mastop-tru64.adb (Pop_Frame): Remove redundant parentheses in if statement. * s-taprop-solaris.adb: Change some <= to =, to avoid new warning * a-exexda.adb, prj-proc.adb: Fix obvious typo (Num_Tracebacks compared <= 0 instead of < 0) Fix obvious typo (Total_Errors_Detected <= 0 should be = 0) git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@106950 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/s-taprop-solaris.adb | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'gcc/ada/s-taprop-solaris.adb') diff --git a/gcc/ada/s-taprop-solaris.adb b/gcc/ada/s-taprop-solaris.adb index 371f7411826..c9e1504779a 100644 --- a/gcc/ada/s-taprop-solaris.adb +++ b/gcc/ada/s-taprop-solaris.adb @@ -1382,7 +1382,7 @@ package body System.Task_Primitives.Operations is begin -- Check that caller is abort-deferred - if Self_ID.Deferral_Level <= 0 then + if Self_ID.Deferral_Level = 0 then return False; end if; @@ -1419,7 +1419,7 @@ package body System.Task_Primitives.Operations is -- Check that caller is abort-deferred - if Self_ID.Deferral_Level <= 0 then + if Self_ID.Deferral_Level = 0 then return False; end if; @@ -1498,7 +1498,7 @@ package body System.Task_Primitives.Operations is begin -- Check that caller is abort-deferred - if Self_ID.Deferral_Level <= 0 then + if Self_ID.Deferral_Level = 0 then return False; end if; @@ -1617,7 +1617,7 @@ package body System.Task_Primitives.Operations is -- Check that caller is abort-deferred - if Self_ID.Deferral_Level <= 0 then + if Self_ID.Deferral_Level = 0 then return False; end if; @@ -1646,7 +1646,7 @@ package body System.Task_Primitives.Operations is begin -- Check that caller is abort-deferred - if Self_ID.Deferral_Level <= 0 then + if Self_ID.Deferral_Level = 0 then return False; end if; @@ -1833,7 +1833,7 @@ package body System.Task_Primitives.Operations is -- Check that caller is abort-deferred - if Self_ID.Deferral_Level <= 0 then + if Self_ID.Deferral_Level = 0 then return False; end if; -- cgit v1.2.1