cppsafe/integration_test/options/warn_delete_strict.cpp at 3071c977c368365e44a0fbe774878b6f254c949d · qqiangwu/cppsafe · GitHub

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
// ARGS: --Wlifetime-disabled

#include "../feature/common.h"

void free(int* p)
{
    // expected-note@+1 {{deleted here}}
    delete p;  // expected-warning {{naked new-deletes disables lifetime analysis}}
    __lifetime_pset(p);  // expected-warning {{pset(p) = ((invalid))}}
}  // expected-warning {{returning a dangling pointer as output value '*p'}}

void free2(void* p)
{
    // expected-note@+1 {{deleted here}}
    delete (int*)p;  // expected-warning {{naked new-deletes disables lifetime analysis}}
    // expected-warning@-1 {{unsafe cast disables lifetime analysis}}
    __lifetime_pset(p);  // expected-warning {{pset(p) = ((invalid))}}
}  // expected-warning {{returning a dangling pointer as output value '*p'}}

void free3(void* p)
{
    // expected-note@+1 {{deleted here}}
    delete static_cast<int*>(p);  // expected-warning {{naked new-deletes disables lifetime analysis}}
    // expected-warning@-1 {{unsafe cast disables lifetime analysis}}
    __lifetime_pset(p);  // expected-warning {{pset(p) = ((invalid))}}
}  // expected-warning {{returning a dangling pointer as output value '*p'}}

void free4(void* p)
{
    auto* t = (int*)p;
    // expected-warning@-1 {{unsafe cast disables lifetime analysis}}
    // expected-note@+1 {{deleted here}}
    delete t;  // expected-warning {{naked new-deletes disables lifetime analysis}}
    __lifetime_pset(p);  // expected-warning {{pset(p) = ((invalid))}}
}  // expected-warning {{returning a dangling pointer as output value '*p'}}

CPPSAFE_POST("*p", ":invalid")
void free5(int* p)
{
    delete p;  // expected-warning {{naked new-deletes disables lifetime analysis}}
}