// RUN: %clang_cc1 -load %llvmshlibdir/CallSuperAttr%pluginext -fsyntax-only -verify=callsuper %s
// RUN: %clang_cc1 -load %llvmshlibdir/CallSuperAttr%pluginext -DBAD_CALLSUPER -fsyntax-only -verify=badcallsuper %s
// REQUIRES: plugins, examples

// callsuper-no-diagnostics
struct Base1 {
  [[clang::call_super]] virtual void Test() {}
};
struct Base2 {
  [[clang::call_super]] virtual void Test() {}
};
struct Derive : public Base1, public Base2 {
#ifndef BAD_CALLSUPER
  void Test() override;
#else
  [[clang::call_super]] virtual void Test() override final;
  // badcallsuper-warning@16 {{'call_super' attribute marked on a final method}}
#endif
};
void Derive::Test() {
  Base1::Test();
#ifndef BAD_CALLSUPER
  Base2::Test();
#else
  // badcallsuper-warning@20 {{virtual function 'Base2::Test' is marked as 'call_super' but this overriding method does not call the base version}}
  // badcallsuper-note@10 {{function marked 'call_super' here}}
#endif
}
struct Derive2 : public Base1, public Base2 {
  void Test() override {
    Base1::Test();
    Base2::Test();
  }
};