[Ada] Skip postponed validation checks with compilation errors
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 16 Feb 2022 12:01:36 +0000 (13:01 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 12 May 2022 12:38:42 +0000 (12:38 +0000)
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.

gcc/ada/gnat1drv.adb

index 39fa9be..79d5847 100644 (file)
@@ -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;