// RUN: %target-swift-frontend -Xllvm -sil-full-demangle -profile-generate -profile-coverage-mapping -emit-sorted-sil -emit-sil -module-name coverage_decls -primary-file %s %S/Inputs/coverage_imports.swift | %FileCheck %s

// CHECK: sil_coverage_map {{.*}} $S14coverage_decls4mainyyF
// CHECK-NOT: sil_coverage_map

func main() {
  var b = Box()
  let _ = b.x
}

// RUN: %target-swift-frontend -Xllvm -sil-full-demangle -profile-generate -profile-coverage-mapping -emit-sorted-sil -emit-sil -module-name coverage_decls -primary-file %s %S/Inputs/coverage_imports.swift

func main() {
  var b = Box()
  let _ = b.x
}

--- 
+++ 
@@ -1,4 +1,7 @@
-// RUN: %target-swift-frontend -Xllvm -sil-full-demangle -profile-generate -profile-coverage-mapping -emit-sorted-sil -emit-sil -module-name coverage_decls -primary-file %s %S/Inputs/coverage_imports.swift
+// RUN: %target-swift-frontend -Xllvm -sil-full-demangle -profile-generate -profile-coverage-mapping -emit-sorted-sil -emit-sil -module-name coverage_decls -primary-file %s %S/Inputs/coverage_imports.swift | %FileCheck %s
+
+// CHECK: sil_coverage_map {{.*}} $S14coverage_decls4mainyyF
+// CHECK-NOT: sil_coverage_map
 
 func main() {
   var b = Box()
[test] Add check lines to tighten up a crash test
