diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-02-16 13:01:36 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:42 +0000 |
| commit | c4471a4a3cd0923582f88249feb9fb1a2e37c32a (patch) | |
| tree | 69dff45223f4e15b08fa9e874a4110dabee57f72 /gcc/ada/gnat1drv.adb | |
| parent | 605095af6f7952717a39a4feecde1e2cca4bed58 (diff) | |
| download | gcc-c4471a4a3cd0923582f88249feb9fb1a2e37c32a.zip gcc-c4471a4a3cd0923582f88249feb9fb1a2e37c32a.tar.gz gcc-c4471a4a3cd0923582f88249feb9fb1a2e37c32a.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 39fa9be..79d5847 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; |