-
Notifications
You must be signed in to change notification settings - Fork 6
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rework the project error reporting in the LKQL engine
In the same time cleanup the LKQL testsuite to avoid warnings during project loading.
- Loading branch information
1 parent
e004e3b
commit d5cd124
Showing
26 changed files
with
62 additions
and
45 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
package Access_Decls is | ||
|
||
type Int_Access is access all Integer; | ||
|
||
type Volt is delta 0.125 range 0.0 .. 255.0; | ||
|
||
end Access_Decls; |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
p.ads:12:9: rule violation: possible occurrence of KP S124-035 | ||
main.ads:12:9: rule violation: possible occurrence of KP S124-035 | ||
12 | type Variant (Disc : User := User'First) is record -- FLAG | ||
| ^^^^^^^ | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
package Pkg is | ||
package Pkg3 is | ||
function Prepend_Abc (S : String) return String is ("abc" & S); | ||
|
||
pragma Assert (Prepend_Abc ("def") = "abcdef"); -- NOFLAG | ||
end Pkg; | ||
end Pkg3; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -2,7 +2,7 @@ package body Blocks is | |
|
||
procedure A is | ||
begin | ||
|
||
declare -- FLAG | ||
begin | ||
null; | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,2 @@ | ||
project Checks_Blocks is | ||
for Main use ("main.adb"); | ||
end Checks_Blocks; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2 changes: 1 addition & 1 deletion
2
...hecks/deep_library/moderatly-deep-pkg.ads → ...ecks/deep_library/moderately-deep-pkg.ads
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,3 @@ | ||
package Moderately.Deep.Pkg is | ||
|
||
end Moderately.Deep.Pkg; | ||
end Moderately.Deep.Pkg; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,2 @@ | ||
project Prj is | ||
end Prj; | ||
end Prj; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,2 @@ | ||
project Prj is | ||
end Prj; | ||
end Prj; |
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,12 +1,12 @@ | ||
src.adb:7:4: rule violation: explicit raise of a predefined exception | ||
raise_builtin.adb:7:4: rule violation: explicit raise of a predefined exception | ||
7 | raise Program_Error with "Message"; -- FLAG | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
|
||
src.adb:9:4: rule violation: explicit raise of a predefined exception | ||
raise_builtin.adb:9:4: rule violation: explicit raise of a predefined exception | ||
9 | raise Ren; -- FLAG | ||
| ^^^^^^^^^^ | ||
|
||
src.adb:13:7: rule violation: explicit raise of a predefined exception | ||
raise_builtin.adb:13:7: rule violation: explicit raise of a predefined exception | ||
13 | raise Ren2; -- FLAG | ||
| ^^^^^^^^^^^ | ||
|
6 changes: 3 additions & 3 deletions
6
testsuite/tests/checks/recursive_subprograms/simple/simple.adb
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
function Factorial (N : Natural) return Positive is -- FLAG | ||
function Simple (N : Natural) return Positive is -- FLAG | ||
begin | ||
if N = 0 then | ||
return 1; | ||
else | ||
return N * Factorial (N - 1); | ||
return N * Simple (N - 1); | ||
end if; | ||
end Factorial; | ||
end Simple; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
inst.ads:4:4: rule violation: same instantiation found at inst2.ads:4 | ||
inst1.ads:4:4: rule violation: same instantiation found at inst2.ads:4 | ||
4 | package Inst_1 is new Gen (Integer, 2); -- FLAG | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
|
||
inst2.ads:4:4: rule violation: same instantiation found at inst.ads:4 | ||
inst2.ads:4:4: rule violation: same instantiation found at inst1.ads:4 | ||
4 | package Inst_3 is new Gen (Integer, 2); -- FLAG | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
[<ConcreteTypeDecl ["Int_Access"] src.ads:3:5-3:43>] | ||
[<ConcreteTypeDecl ["Int_Access"] access_decls.ads:3:4-3:42>] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
[<LibraryItem aspect_decls.ads:3:1-16:9>, <AdaNodeList aspect_decls.ads:4:5-15:43>] | ||
[<LibraryItem aspect_decls.ads:3:1-16:18>, <AdaNodeList aspect_decls.ads:4:5-15:43>] |