File tree Expand file tree Collapse file tree 2 files changed +5
-36
lines changed
testsuite/tests/gnatcheck_errors/multiple_lkql_rule_files Expand file tree Collapse file tree 2 files changed +5
-36
lines changed Original file line number Diff line number Diff line change 11procedure Main is
22begin
3- null ; -- FLAG
3+ null ; -- NOFLAG
44 goto lbl; -- NOFLAG
55 <<lbl>>
66end Main ;
Original file line number Diff line number Diff line change 1- 1. Summary
2-
3- fully compliant sources : 0
4- sources with exempted violations only : 0
5- sources with non-exempted violations : 1
6- unverified sources : 0
7- total sources : 1
8- ignored sources : 0
9-
10- non-exempted violations : 1
11- rule exemption warnings : 0
12- compilation errors : 0
13- exempted violations : 0
14- internal errors : 0
15-
16- 2. Exempted Coding Standard Violations
17-
18- no exempted violations detected
19-
20- 3. Non-exempted Coding Standard Violations
21-
22- main.adb:3:04: rule violation: redundant null statement
23-
24- 4. Rule exemption problems
25-
26- no rule exemption problems detected
27-
28- 5. Language violations
29-
30- no language violations detected
31-
32- 6. Gnatcheck internal errors
33-
34- no internal error detected
35-
1+ testsuite_driver: No output file generated by gnatcheck
2+ gnatcheck: error: invalid switch: --rule-file
3+ try "gnatcheck --help" for more information.
4+ >>>program returned status code 2
You can’t perform that action at this time.
0 commit comments