; RUN: opt -S -sccp < %s | FileCheck %s

; Make sure we always consider the default edge executable for a switch
; with no cases.
declare void @foo()
define void @test1() {
; CHECK-LABEL: define void @test1(
; CHECK: call void @foo()
  switch i32 undef, label %d []
d:
  call void @foo()
  ret void
}