; 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: define void @test1
; CHECK: call void @foo()
  switch i32 undef, label %d []
d:
  call void @foo()
  ret void
}