 // RUN: %swift -O  -module-name devirt_default_case -disable-func-sig-opts -emit-sil %s | FileCheck %s
+
+
+@asmname("action")
+func action(n:Int)->()
 
 // public class
 public class Base1 {
-  @inline(never) func inner() { println("Base")}
+  @inline(never) func inner() { action(1)}
   func middle() { inner() }
 // Check that call to Base1.middle cannot be devirtualized
 //

  return a.f()
}

println("foo(E()) = \(foo(E2()))")

class A3 { @inline(never) func f() -> Int { return 0 } }
class B3 : A3 { @inline(never) override func f() -> Int { return 1 }}

  return c.bar() 
}

public func test_check_static_class_devirt() -> Int {
  return check_static_class_devirt(D6())
}


class A7 { @inline(never) func foo() -> Bool { return false } }
