File tree Expand file tree Collapse file tree 3 files changed +17
-0
lines changed
testsuite/tests/gnatcheck_errors/emit_lkql_rule_file_all Expand file tree Collapse file tree 3 files changed +17
-0
lines changed Original file line number Diff line number Diff line change @@ -1786,6 +1786,13 @@ package body Gnatcheck.Rules.Rule_Table is
17861786
17871787 procedure Turn_All_Rules_On is
17881788 begin
1789+ if Arg.Emit_LKQL_Rule_File.Get then
1790+ Error
1791+ (" cannot turn on all rules when --emit-lkql-rule-file"
1792+ & " option is enabled" );
1793+ raise Gnatcheck.Options.Parameter_Error;
1794+ end if ;
1795+
17891796 for Rule_Cursor in All_Rules.Iterate loop
17901797 declare
17911798 Rule : constant Rule_Info := All_Rules (Rule_Cursor);
Original file line number Diff line number Diff line change 1+ testsuite_driver: No output file generated by gnatcheck
2+ gnatcheck: error: cannot turn on all rules when --emit-lkql-rule-file option is enabled
3+ try "gnatcheck --help" for more information.
4+ >>>program returned status code 2
Original file line number Diff line number Diff line change 1+ driver : gnatcheck
2+ description : Test the error message when using '--emit-lkql-rule-file' with `+ALL` in the `-rules` section
3+ rules :
4+ - +ALL
5+ extra_args :
6+ - --emit-lkql-rule-file
You can’t perform that action at this time.
0 commit comments