Searched refs:Code_Val (Results 1 – 5 of 5) sorted by relevance
1952 Code_Val : Uint; variable1993 Code_Val := Expr_Value (Arg_Code);1995 if not UI_Is_In_Int_Range (Code_Val) then2001 Set_Exception_Code (Def_Id, Code_Val);
3870 Code_Val : Uint; variable3909 Code_Val := Expr_Value (Arg_Code);3911 if not UI_Is_In_Int_Range (Code_Val) then3917 Set_Exception_Code (Def_Id, Code_Val);
7148 Code_Val : Uint; variable7187 Code_Val := Expr_Value (Arg_Code);7189 if not UI_Is_In_Int_Range (Code_Val) then7195 Set_Exception_Code (Def_Id, Code_Val);