diff options
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index a34caef11ab..41657c4d28c 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -106,7 +106,7 @@ package body Debug is -- d.m For -gnatl, print full source only for main unit -- d.n Print source file names -- d.o Generate .NET listing of CIL code - -- d.p + -- d.p Enable the .NET CIL verifier -- d.q -- d.r Enable OK_To_Reorder_Components in non-variant records -- d.s Disable expansion of slice move, use memmove @@ -534,6 +534,10 @@ package body Debug is -- d.o Generate listing showing the IL instructions generated by the .NET -- compiler for each subprogram. + -- d.p Enable the .NET CIL verifier. During development the verifier is + -- disabled by default and this flag is used to enable it. In the + -- future we will reverse this functionality. + -- d.r Forces the flag OK_To_Reorder_Components to be set in all record -- base types that have no discriminants. |