compilerplugins/clang/test/typeidcomparison.cxx

   1 /* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4; fill-column: 100 -*- */
   2 /*
   3  * This file is part of the LibreOffice project.
   4  *
   5  * This Source Code Form is subject to the terms of the Mozilla Public
   6  * License, v. 2.0. If a copy of the MPL was not distributed with this
   7  * file, You can obtain one at http://mozilla.org/MPL/2.0/.
   8  */
   9
  10 #include <typeinfo>
  11
  12 struct Base
  13 {
  14     virtual ~Base();
  15 };
  16
  17 struct Derived : Base
  18 {
  19 };
  20
  21 void good(Base* p)
  22 {
  23     (void)(typeid(*p) == typeid(Derived));
  24     (void)(typeid(Derived) == typeid(*p));
  25     (void)(typeid(*p) != typeid(Derived));
  26     (void)(typeid(Derived) != typeid(*p));
  27 }
  28
  29 void bad(Base* p)
  30 {
  31     // expected-error@+1 {{comparison of type info of mixed pointer and non-pointer types 'Base *' and 'Derived' can never succeed [loplugin:typeidcomparison]}}
  32     (void)(typeid(p) == typeid(Derived));
  33     // expected-error@+1 {{comparison of type info of mixed pointer and non-pointer types 'Derived' and 'Base *' can never succeed [loplugin:typeidcomparison]}}
  34     (void)(typeid(Derived) == typeid(p));
  35     // expected-error@+1 {{comparison of type info of mixed pointer and non-pointer types 'Base *' and 'Derived' can never succeed [loplugin:typeidcomparison]}}
  36     (void)(typeid(p) != typeid(Derived));
  37     // expected-error@+1 {{comparison of type info of mixed pointer and non-pointer types 'Derived' and 'Base *' can never succeed [loplugin:typeidcomparison]}}
  38     (void)(typeid(Derived) != typeid(p));
  39 }
  40
  41 /* vim:set shiftwidth=4 softtabstop=4 expandtab cinoptions=b1,g0,N-s cinkeys+=0=break: */