File: warn-self-move.cpp

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (75 lines) | stat: -rw-r--r-- 2,832 bytes parent folder | download | duplicates (7)
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
// RUN: %clang_cc1 -fsyntax-only -Wself-move -std=c++11 -verify %s

// definitions for std::move
namespace std {
inline namespace foo {
template <class T> struct remove_reference { typedef T type; };
template <class T> struct remove_reference<T&> { typedef T type; };
template <class T> struct remove_reference<T&&> { typedef T type; };

template <class T> typename remove_reference<T>::type &&move(T &&t);
}
}

void int_test() {
  int x = 5;
  x = std::move(x);  // expected-warning{{explicitly moving}}
  (x) = std::move(x);  // expected-warning{{explicitly moving}}

  x = static_cast<int&&>(x);  // expected-warning{{explicitly moving}}
  (x) = static_cast<int&&>(x);  // expected-warning{{explicitly moving}}

  using std::move;
  x = move(x); // expected-warning{{explicitly moving}} \
                   expected-warning {{unqualified call to 'std::move}}
}

int global;
void global_int_test() {
  global = std::move(global);  // expected-warning{{explicitly moving}}
  (global) = std::move(global);  // expected-warning{{explicitly moving}}

  global = static_cast<int&&>(global);  // expected-warning{{explicitly moving}}
  (global) = static_cast<int&&>(global);  // expected-warning{{explicitly moving}}

  using std::move;
  global = move(global); // expected-warning{{explicitly moving}} \
                             expected-warning {{unqualified call to 'std::move}}
}

class field_test {
  int x;
  field_test(field_test&& other) {
    x = std::move(x);  // expected-warning{{explicitly moving}}
    x = static_cast<int&&>(x);  // expected-warning{{explicitly moving}}
    x = std::move(other.x);
    x = static_cast<int&&>(other.x);
    other.x = std::move(x);
    other.x = static_cast<int&&>(x);
    other.x = std::move(other.x);  // expected-warning{{explicitly moving}}
    other.x = static_cast<int&&>(other.x);  // expected-warning{{explicitly moving}}
  }
  void withSuggest(int x) {
    x = static_cast<int&&>(x); // expected-warning{{explicitly moving variable of type 'int' to itself; did you mean to move to member 'x'?}}
    x = std::move(x); // expected-warning{{explicitly moving variable of type 'int' to itself; did you mean to move to member 'x'?}}
  }
};

struct A {};
struct B { A a; };
struct C { C() {}; ~C() {} };
void struct_test() {
  A a;
  a = std::move(a);  // expected-warning{{explicitly moving}}
  a = static_cast<A&&>(a);  // expected-warning{{explicitly moving}}

  B b;
  b = std::move(b);  // expected-warning{{explicitly moving}}
  b = static_cast<B&&>(b);  // expected-warning{{explicitly moving}}
  b.a = std::move(b.a);  // expected-warning{{explicitly moving}}
  b.a = static_cast<A&&>(b.a);  // expected-warning{{explicitly moving}}

  C c;
  c = std::move(c);  // expected-warning{{explicitly moving}}
  c = static_cast<C&&>(c);  // expected-warning{{explicitly moving}}
}