reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28

// RUN: %clang_cc1 -fsyntax-only -fobjc-runtime-has-weak -fobjc-weak -fblocks -Wno-objc-root-class -std=c++98 -Wno-c++0x-extensions -verify %s

@interface AnObject
@property(weak) id value;
@end

__attribute__((objc_arc_weak_reference_unavailable))
@interface NOWEAK : AnObject // expected-note 2 {{class is declared here}}
@end

struct S {
  __weak id a; // expected-note {{because type 'S' has a member with __weak ownership}}
};

union U {
  __weak id a;
  S b;         // expected-error {{union member 'b' has a non-trivial copy constructor}}
};

void testCast(AnObject *o) {
  __weak id a = reinterpret_cast<__weak NOWEAK *>(o); // expected-error {{class is incompatible with __weak references}} \
                                                      // expected-error {{explicit ownership qualifier on cast result has no effect}} \
                                                      // expected-error {{assignment of a weak-unavailable object to a __weak object}}

  __weak id b = static_cast<__weak NOWEAK *>(o); // expected-error {{class is incompatible with __weak references}} \
                                                 // expected-error {{explicit ownership qualifier on cast result has no effect}} \
                                                 // expected-error {{assignment of a weak-unavailable object to a __weak object}}
}