clang/test/SemaObjCXX/arc-ppe.mm

   1 // RUN: %clang_cc1 -fsyntax-only -verify -fobjc-arc %s
   2
   3 // Make sure the ARC auto-deduction of id* in unevaluated contexts
   4 // works correctly in cases where we can't immediately tell whether the
   5 // context is unevaluated.
   6
   7 namespace std {
   8   class type_info;
   9 }
  10
  11 int& NP(void*);
  12 void test1() { (void)typeid(NP((void*)(id*)0)); }
  13
  14 class Poly { virtual ~Poly(); };
  15 Poly& P(void*);
  16 void test2() { (void)typeid(P((void*)(id*)0)); } // expected-error {{pointer to non-const type 'id'}} expected-warning {{expression with side effects will be evaluated despite being used as an operand to 'typeid'}}