From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 16 Feb 2022 12:01:36 +0000 (+0100)
Subject: [Ada] Skip postponed validation checks with compilation errors
X-Git-Tag: basepoints/gcc-14~6835
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c4471a4a3cd0923582f88249feb9fb1a2e37c32a;p=thirdparty%2Fgcc.git

[Ada] Skip postponed validation checks with compilation errors

If there are compilation errors then gigi doesn't backannotate the AST
with sizes, alignment, etc. The postponed compilation validation checks
can then easily crash or give spurious errors. We now just skip them.

gcc/ada/

	* gnat1drv.adb (Gnat1drv): Skip postponed checks when there are
	errors.
---

diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb
index 39fa9bee9a7..79d58477f53 100644
--- a/gcc/ada/gnat1drv.adb
+++ b/gcc/ada/gnat1drv.adb
@@ -1256,7 +1256,6 @@ begin
 
       if Compilation_Errors then
          Treepr.Tree_Dump;
-         Post_Compilation_Validation_Checks;
          Errout.Finalize (Last_Call => True);
          Errout.Output_Messages;
          Namet.Finalize;