// RUN: %clang_cc1 -no-opaque-pointers -triple=x86_64-apple-darwin -std=c++11 -emit-llvm -o - %s | FileCheck %s

class Class1 {
public:
  [[clang::not_tail_called]] int m1();
  int m2();
  [[clang::not_tail_called]] virtual int m3();
  virtual int m4();
};

class Class2: public Class1 {
public:
  [[clang::not_tail_called]] int m4() override;
};

int foo1(int a, Class1 *c1, Class2 &c2) {
  if (a)
    return c1->m1();
  c1->m3();
  Class1 &c = c2;
  c.m4();
  c2.m4();
  return c1->m2();
}

// CHECK-LABEL: define{{.*}} i32 @_Z4foo1iP6Class1R6Class2(
// CHECK: %{{[a-z0-9]+}} = notail call noundef i32 @_ZN6Class12m1Ev(%class.Class1*
// CHECK: %{{[a-z0-9]+}} = notail call noundef i32 %{{[0-9]+}}(%class.Class1*
// CHECK-NOT: %{{[a-z0-9]+}} = notail call noundef i32 %{{[0-9]+}}(%class.Class1*
// CHECK: %{{[a-z0-9]+}} = notail call noundef i32 %{{[0-9]+}}(%class.Class2* 
// CHECK: %{{[a-z0-9]+}} = call noundef i32 @_ZN6Class12m2Ev(%class.Class1*