Merge branch 'topic/vadim/crash' into 'master'

Check for null value. Closes #87 See merge request eng/ide/gnatdoc!122
AdaCore · Sep 19, 2024 · edf2489 · edf2489
2 parents ec2fa87 + 6506421
commit edf2489
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/source/gnatdoc-comments-extractor.adb b/source/gnatdoc-comments-extractor.adb
@@ -2513,6 +2513,7 @@ package body GNATdoc.Comments.Extractor is
                   Raw_Section := Trailing_Section;
 
                elsif Options.Fallback
+                 and Leading_Section /= null
                  and not Leading_Section.Text.Is_Empty
                then
                   Raw_Section := Leading_Section;