]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[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 39fa9bee9a780ac49ce2af78fe8ce04b1f9250f7..79d58477f53f239e7a65b81caf6731a8c3684f0b 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;