// { 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" }