rapx/analysis/core/heap_item/
ownership.rs

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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
use super::{DefaultOwnership, OwnershipLayout};
use rustc_middle::ty::Ty;
use std::fmt;
use std::fmt::Debug;

#[repr(u8)]
#[derive(Copy, Clone, Debug, Eq, PartialEq, Hash)]
pub enum RawTypeOwner {
    Unowned = 0,
    Owned = 1,
    Uninit = 2,
}

impl Default for RawTypeOwner {
    fn default() -> Self {
        Self::Uninit
    }
}

impl RawTypeOwner {
    pub fn is_owned(&self) -> bool {
        match self {
            RawTypeOwner::Owned => true,
            RawTypeOwner::Unowned => false,
            RawTypeOwner::Uninit => false,
        }
    }
}

impl fmt::Display for RawTypeOwner {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        let name = match self {
            RawTypeOwner::Unowned => "0",
            RawTypeOwner::Owned => "1",
            RawTypeOwner::Uninit => "2",
        };
        write!(f, "{}", name)
    }
}

pub enum TypeOwner<'tcx> {
    Owned(Ty<'tcx>),
    Unowned,
}

#[derive(Clone, Debug)]
pub struct OwnershipLayoutResult {
    layout: OwnershipLayout,
    param: bool,
    requirement: bool,
    owned: bool,
}

impl OwnershipLayoutResult {
    pub fn new() -> Self {
        Self {
            layout: Vec::new(),
            param: false,
            requirement: false,
            owned: false,
        }
    }

    pub fn layout(&self) -> &OwnershipLayout {
        &self.layout
    }

    pub fn layout_mut(&mut self) -> &mut OwnershipLayout {
        &mut self.layout
    }

    pub fn get_param(&self) -> bool {
        self.param
    }

    pub fn set_param(&mut self, p: bool) {
        self.param = p;
    }

    pub fn is_param_true(&self) -> bool {
        self.param == true
    }

    pub fn get_requirement(&self) -> bool {
        self.requirement
    }

    pub fn set_requirement(&mut self, r: bool) {
        self.requirement = r;
    }

    pub fn is_requirement_true(&self) -> bool {
        self.requirement == true
    }

    pub fn is_empty(&self) -> bool {
        self.layout.is_empty()
    }

    pub fn is_owned(&self) -> bool {
        self.owned == true
    }

    pub fn set_owned(&mut self, o: bool) {
        self.owned = o;
    }

    pub fn update_from_default_ownership_visitor<'tcx, 'a>(
        &mut self,
        default_ownership: &mut DefaultOwnership<'tcx, 'a>,
    ) {
        if default_ownership.is_owning_true() || default_ownership.is_ptr_true() {
            self.set_requirement(true);
        }

        if default_ownership.is_owning_true() {
            self.set_owned(true);
        }

        self.layout_mut().push(default_ownership.get_res());

        self.set_param(default_ownership.get_param());
    }
}