1; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-write-summary=%t -o /dev/null %s 2; RUN: FileCheck %s < %t 3 4; CHECK: --- 5; CHECK-NEXT: GlobalValueMap: 6; CHECK-NEXT: TypeIdMap: 7; CHECK-NEXT: WithGlobalValueDeadStripping: false 8; CHECK-NEXT: ... 9