rapx/analysis/alias_analysis/default/
block.rs

1use super::assign::*;
2
3#[derive(Debug, Clone)]
4pub struct ConstValue {
5    pub local: usize,
6    pub value: usize,
7}
8
9impl ConstValue {
10    pub fn new(local: usize, value: usize) -> Self {
11        ConstValue { local, value }
12    }
13}
14
15#[derive(Debug, Clone)]
16pub struct AliasBlockFacts<'tcx> {
17    pub assignments: Vec<Assignment<'tcx>>,
18    pub const_value: Vec<ConstValue>,
19}
20
21impl<'tcx> AliasBlockFacts<'tcx> {
22    pub fn new() -> Self {
23        Self {
24            assignments: Vec::new(),
25            const_value: Vec::new(),
26        }
27    }
28}