File tree Expand file tree Collapse file tree 5 files changed +52
-0
lines changed
testsuite/tests/gnatcheck_errors/lkql_rule_error Expand file tree Collapse file tree 5 files changed +52
-0
lines changed Original file line number Diff line number Diff line change @@ -520,6 +520,7 @@ package body Gnatcheck.Compiler is
520520 and then Line (1 .. 14 ) = " WORKER_ERROR: "
521521 then
522522 Error (Line (15 .. Line_Len));
523+ Detected_Internal_Error := @ + 1 ;
523524 Errors := True;
524525 else
525526 Analyze_Line (Line (1 .. Line_Len));
Original file line number Diff line number Diff line change 1+ procedure Main is
2+ begin
3+ null ;
4+ end Main ;
Original file line number Diff line number Diff line change 1+ @check(message="blah")
2+ fun test(node) =
3+ blah
Original file line number Diff line number Diff line change 1+ gnatcheck: test.lkql:3:05: Unknown symbol: blah
2+ gnatcheck: Errors during analysis
3+ 1. Summary
4+
5+ fully compliant sources : 1
6+ sources with exempted violations only : 0
7+ sources with non-exempted violations : 0
8+ unverified sources : 0
9+ total sources : 1
10+ ignored sources : 0
11+
12+ non-exempted violations : 0
13+ rule exemption warnings : 0
14+ compilation errors : 0
15+ exempted violations : 0
16+ internal errors : 2
17+
18+ 2. Exempted Coding Standard Violations
19+
20+ no exempted violations detected
21+
22+ 3. Non-exempted Coding Standard Violations
23+
24+ no non-exempted violations detected
25+
26+ 4. Rule exemption problems
27+
28+ no rule exemption problems detected
29+
30+ 5. Language violations
31+
32+ no language violations detected
33+
34+ 6. Gnatcheck internal errors
35+
36+
37+ >>>program returned status code 2
Original file line number Diff line number Diff line change 1+ driver : gnatcheck
2+ rules_dirs :
3+ - rules
4+ input_sources :
5+ - main.adb
6+ rules :
7+ - +RTest
You can’t perform that action at this time.
0 commit comments