[Ada] Properly save -gnatVn status
Geert Bosch
bosch@gnat.com
Thu Oct 11 17:59:00 GMT 2001
2001-10-11 Robert Dewar <dewar@gnat.com>
* validsw.adb: Properly save -gnatVn status.
Index: validsw.adb
===================================================================
RCS file: /nile.c/cvs/Dev/gnat/validsw.adb,v
retrieving revision 1.2
retrieving revision 1.3
diff -c -r1.2 -r1.3
*** validsw.adb 2001/09/24 00:00:39 1.2
--- validsw.adb 2001/09/25 11:03:54 1.3
***************
*** 74,81 ****
Options (K) := ' ';
end loop;
Add ('c', Validity_Check_Copies);
- Add ('d', Validity_Check_Default);
Add ('f', Validity_Check_Floating_Point);
Add ('i', Validity_Check_In_Params);
Add ('m', Validity_Check_In_Out_Params);
--- 74,82 ----
Options (K) := ' ';
end loop;
+ Add ('n', not Validity_Check_Default);
+
Add ('c', Validity_Check_Copies);
Add ('f', Validity_Check_Floating_Point);
Add ('i', Validity_Check_In_Params);
Add ('m', Validity_Check_In_Out_Params);
More information about the Gcc-patches
mailing list