| // { dg-additional-options "-fmodules-ts" } | |
| // Don't segfault on missing module BMI | |
| // { dg-module-cmi "!bob" } | |
| // { dg-module-cmi "!bill" } | |
| import bill; | |
| // { dg-regexp "In module imported at \[^\n]*import-2.C:7:.:\nbill: error: failed to read compiled module: \[^\n]*\n" } | |
| // { dg-prune-output "fatal error:" } | |
| // { dg-prune-output "compilation terminated" } | |