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
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55
   56

// RUN: %clang_cc1 -fsyntax-only -Wno-error=address-of-temporary -verify -std=gnu++11 %s
struct X {
  X();
  X(int);
  X(int, int);
};

void f0() { (void)&X(); } // expected-warning{{taking the address of a temporary object}}
void f1() { (void)&X(1); } // expected-warning{{taking the address of a temporary object}}
void f2() { (void)&X(1, 2); } // expected-warning{{taking the address of a temporary object}}
void f3() { (void)&(X)1; } // expected-warning{{taking the address of a temporary object}}


namespace PointerToArrayDecay {
  struct Y {
    int a[4];
  };
  struct Z {
    int n;
    ~Z();
  };

  typedef int A[4];
  typedef Z AZ[4];

  template<typename T> void consume(T);
  struct S { int *p; };

  void g0() { int *p = Y().a; } // expected-warning{{will be destroyed at the end of the full-expression}}
  void g1() { int *p = Y{}.a; } // expected-warning{{will be destroyed at the end of the full-expression}}
  void g2() { int *p = A{}; } // expected-warning{{will be destroyed at the end of the full-expression}}
  void g3() { int *p = (A){}; } // expected-warning{{will be destroyed at the end of the full-expression}}
  void g4() { Z *p = AZ{}; } // expected-warning{{will be destroyed at the end of the full-expression}}
  void g5() { Z *p = &(Z&)(AZ{}[0]); } // expected-warning{{will be destroyed at the end of the full-expression}}

  void h0() { consume(Y().a); }
  void h1() { consume(Y{}.a); }
  void h2() { consume(A{}); }
  void h3() { consume((A){}); }
  void h4() { consume(AZ{}); }

  void i0() { S s = { Y().a }; } // expected-warning{{will be destroyed at the end of the full-expression}}
  void i1() { S s = { Y{}.a }; } // expected-warning{{will be destroyed at the end of the full-expression}}
  void i2() { S s = { A{} }; } // expected-warning{{will be destroyed at the end of the full-expression}}
  void i3() { S s = { (A){} }; } // expected-warning{{will be destroyed at the end of the full-expression}}

  void j0() { (void)S { Y().a }; }
  void j1() { (void)S { Y{}.a }; }
  void j2() { (void)S { A{} }; }
  void j3() { (void)S { (A){} }; }

  void k0() { consume(S { Y().a }); }
  void k1() { consume(S { Y{}.a }); }
  void k2() { consume(S { A{} }); }
  void k3() { consume(S { (A){} }); }
}