comparison gcc/ada/validsw.adb @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
4 -- -- 4 -- --
5 -- V A L I D S W -- 5 -- V A L I D S W --
6 -- -- 6 -- --
7 -- B o d y -- 7 -- B o d y --
8 -- -- 8 -- --
9 -- Copyright (C) 2001-2018, Free Software Foundation, Inc. -- 9 -- Copyright (C) 2001-2019, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
34 34
35 procedure Reset_Validity_Check_Options is 35 procedure Reset_Validity_Check_Options is
36 begin 36 begin
37 Validity_Check_Components := False; 37 Validity_Check_Components := False;
38 Validity_Check_Copies := False; 38 Validity_Check_Copies := False;
39 Validity_Check_Default := True; 39 Validity_Check_Default := False;
40 Validity_Check_Floating_Point := False; 40 Validity_Check_Floating_Point := False;
41 Validity_Check_In_Out_Params := False; 41 Validity_Check_In_Out_Params := False;
42 Validity_Check_In_Params := False; 42 Validity_Check_In_Params := False;
43 Validity_Check_Operands := False; 43 Validity_Check_Operands := False;
44 Validity_Check_Parameters := False;
44 Validity_Check_Returns := False; 45 Validity_Check_Returns := False;
45 Validity_Check_Subscripts := False; 46 Validity_Check_Subscripts := False;
46 Validity_Check_Tests := False; 47 Validity_Check_Tests := False;
47 end Reset_Validity_Check_Options; 48 end Reset_Validity_Check_Options;
48 49
71 begin 72 begin
72 for K in Options'Range loop 73 for K in Options'Range loop
73 Options (K) := ' '; 74 Options (K) := ' ';
74 end loop; 75 end loop;
75 76
76 Add ('n', not Validity_Check_Default); 77 Add ('e', Validity_Check_Components);
77
78 Add ('c', Validity_Check_Copies); 78 Add ('c', Validity_Check_Copies);
79 Add ('e', Validity_Check_Components); 79 Add ('d', Validity_Check_Default);
80 Add ('f', Validity_Check_Floating_Point); 80 Add ('f', Validity_Check_Floating_Point);
81 Add ('i', Validity_Check_In_Params); 81 Add ('i', Validity_Check_In_Params);
82 Add ('m', Validity_Check_In_Out_Params); 82 Add ('m', Validity_Check_In_Out_Params);
83 Add ('o', Validity_Check_Operands); 83 Add ('o', Validity_Check_Operands);
84 Add ('p', Validity_Check_Parameters);
84 Add ('r', Validity_Check_Returns); 85 Add ('r', Validity_Check_Returns);
85 Add ('s', Validity_Check_Subscripts); 86 Add ('s', Validity_Check_Subscripts);
86 Add ('t', Validity_Check_Tests); 87 Add ('t', Validity_Check_Tests);
87 end Save_Validity_Check_Options; 88 end Save_Validity_Check_Options;
88 89