Merge branch 'topic/gnatcheck_diagnose_parsing' into 'master'

Correct the GNATcheck diagnose parsing to avoid Ada file name errors See merge request eng/libadalang/langkit-query-language!113
AdaCore · Oct 3, 2023 · aea9b60 · aea9b60
2 parents 3463f3a + 7cfdc12
commit aea9b60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lkql_checker/lalcheck/gnatcheck-diagnoses.adb b/lkql_checker/lalcheck/gnatcheck-diagnoses.adb
@@ -58,7 +58,7 @@ package body Gnatcheck.Diagnoses is
    package LCO renames Libadalang.Common;
 
    Match_Diagnosis : constant Pattern_Matcher :=
-     Compile ("^(.*)?:(\d+)?:(\d+)?: (.*)$");
+     Compile ("^([^:]*)?:(\d+)?:(\d+)?: (.*)$");
    --  Matcher for a diagnostic
 
    Match_Rule_Name : constant Pattern_Matcher :=