File: temp-dtors-path-notes.cpp

package info (click to toggle)
llvm-toolchain-14 1%3A14.0.6-16
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 1,496,368 kB
  • sloc: cpp: 5,593,980; ansic: 986,873; asm: 585,869; python: 184,223; objc: 72,530; lisp: 31,119; f90: 27,793; javascript: 9,780; pascal: 9,762; sh: 9,482; perl: 7,468; ml: 5,432; awk: 3,523; makefile: 2,547; xml: 953; cs: 573; fortran: 567
file content (59 lines) | stat: -rw-r--r-- 2,101 bytes parent folder | download | duplicates (20)
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
// RUN: %clang_analyze_cc1 -analyze -analyzer-checker core -analyzer-config cfg-temporary-dtors=true,c++-temp-dtor-inlining=true -analyzer-output=text -verify %s

namespace test_simple_temporary {
class C {
  int x;

public:
  C(int x): x(x) {} // expected-note{{The value 0 is assigned to field 'x'}}
  ~C() { x = 1 / x; } // expected-warning{{Division by zero}}
                      // expected-note@-1{{Division by zero}}
};

void test() {
  C(0); // expected-note   {{Passing the value 0 via 1st parameter 'x'}}
        // expected-note@-1{{Calling constructor for 'C'}}
        // expected-note@-2{{Returning from constructor for 'C'}}
        // expected-note@-3{{Calling '~C'}}
}
} // end namespace test_simple_temporary

namespace test_lifetime_extended_temporary {
class C {
  int x;

public:
  C(int x): x(x) {} // expected-note{{The value 0 is assigned to field 'x'}}
  void nop() const {}
  ~C() { x = 1 / x; } // expected-warning{{Division by zero}}
                      // expected-note@-1{{Division by zero}}
};

void test(int coin) {
  // We'd divide by zero in the automatic destructor for variable 'c'.
  const C &c = coin ? C(1) : C(0); // expected-note   {{Assuming 'coin' is 0}}
                                   // expected-note@-1{{'?' condition is false}}
                                   // expected-note@-2{{Passing the value 0 via 1st parameter 'x'}}
                                   // expected-note@-3{{Calling constructor for 'C'}}
                                   // expected-note@-4{{Returning from constructor for 'C'}}
  c.nop();
} // expected-note{{Calling '~C'}}
} // end namespace test_lifetime_extended_temporary

namespace test_bug_after_dtor {
int glob;

class C {
public:
  C() { glob += 1; }
  ~C() { glob -= 2; } // expected-note{{The value 0 is assigned to 'glob'}}
};

void test() {
  glob = 1;
  C(); // expected-note   {{Calling '~C'}}
       // expected-note@-1{{Returning from '~C'}}
  glob = 1 / glob; // expected-warning{{Division by zero}}
                   // expected-note@-1{{Division by zero}}
}
} // end namespace test_bug_after_dtor