File: warn-self-assign-field.mm

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 (66 lines) | stat: -rw-r--r-- 1,174 bytes parent folder | download | duplicates (37)
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
// RUN: %clang_cc1 -fsyntax-only -Wno-objc-root-class -verify %s

class S {
 public:
  int a_;
  void s(int a) {
    a_ = a_;  // expected-warning {{assigning field to itself}}

    // Don't really care about this one either way.
    this->a_ = a_;  // expected-warning {{assigning field to itself}}

    a_ += a_;  // Shouldn't warn.
  }
};

void f0(S* s) {
  // Would be nice to have, but not important.
  s->a_ = s->a_;
}

void f1(S* s, S* t) {
  // Shouldn't warn.
  t->a_ = s->a_;
}

struct T {
  S* s_;
};

void f2(T* t) {
  // Would be nice to have, but even less important.
  t->s_->a_ = t->s_->a_;
}

void f3(T* t, T* t2) {
  // Shouldn't warn.
  t2->s_->a_ = t->s_->a_;
}

void f4(int i) {
  // This is a common pattern to silence "parameter unused". Shouldn't warn.
  i = i;

  int j = 0;
  j = j;  // Likewise.
}

@interface I {
  int a_;
}
@end

@implementation I
- (void)setA:(int)a {
  a_ = a_;  // expected-warning {{assigning instance variable to itself}}
}

- (void)foo:(I*)i {
  // Don't care much about this warning.
  i->a_ = i->a_;  // expected-warning {{assigning instance variable to itself}}

  // Shouldn't warn.
  a_ = i->a_;
  i->a_ = a_;
}
@end