From 28e4d64e1b77c4cab1c85bf1fb21cc665ed24b6e Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Wed, 27 Oct 2004 14:29:32 +0200 Subject: [PATCH] checks.adb (Expr_Known_Valid): If floating-point validity checks are enabled... 2004-10-26 Ed Schonberg * checks.adb (Expr_Known_Valid): If floating-point validity checks are enabled, check the result of unary and binary operations when the expression is the right-hand side of an assignment. From-SVN: r89645 --- gcc/ada/checks.adb | 23 ++++++++++++++++++----- 1 file changed, 18 insertions(+), 5 deletions(-) diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 357d9f290ec..a60b21d4ae4 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -3792,13 +3792,26 @@ package body Checks is -- The result of any function call or operator is always considered -- valid, since we assume the necessary checks are done by the call. + -- For operators on floating-point operations, we must also check + -- when the operation is the right-hand side of an assignment, or + -- is an actual in a call. - elsif Nkind (Expr) in N_Binary_Op - or else - Nkind (Expr) in N_Unary_Op - or else - Nkind (Expr) = N_Function_Call + elsif + Nkind (Expr) in N_Binary_Op or else Nkind (Expr) in N_Unary_Op then + if Is_Floating_Point_Type (Typ) + and then Validity_Check_Floating_Point + and then + (Nkind (Parent (Expr)) = N_Assignment_Statement + or else Nkind (Parent (Expr)) = N_Function_Call + or else Nkind (Parent (Expr)) = N_Parameter_Association) + then + return False; + else + return True; + end if; + + elsif Nkind (Expr) = N_Function_Call then return True; -- For all other cases, we do not know the expression is valid