rustc_mir_transform/
lint.rs1use std::borrow::Cow;
6
7use rustc_data_structures::fx::FxHashSet;
8use rustc_index::bit_set::DenseBitSet;
9use rustc_middle::mir::visit::{PlaceContext, VisitPlacesWith, Visitor};
10use rustc_middle::mir::*;
11use rustc_middle::ty::TyCtxt;
12use rustc_mir_dataflow::impls::{MaybeStorageDead, MaybeStorageLive, always_storage_live_locals};
13use rustc_mir_dataflow::{Analysis, ResultsCursor};
14
15pub(super) fn lint_body<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>, when: String) {
16 let always_live_locals = &always_storage_live_locals(body);
17
18 let maybe_storage_live = MaybeStorageLive::new(Cow::Borrowed(always_live_locals))
19 .iterate_to_fixpoint(tcx, body, None)
20 .into_results_cursor(body);
21
22 let maybe_storage_dead = MaybeStorageDead::new(Cow::Borrowed(always_live_locals))
23 .iterate_to_fixpoint(tcx, body, None)
24 .into_results_cursor(body);
25
26 let mut lint = Lint {
27 tcx,
28 when,
29 body,
30 is_fn_like: tcx.def_kind(body.source.def_id()).is_fn_like(),
31 always_live_locals,
32 maybe_storage_live,
33 maybe_storage_dead,
34 places: Default::default(),
35 };
36 for (bb, data) in traversal::reachable(body) {
37 lint.visit_basic_block_data(bb, data);
38 }
39}
40
41struct Lint<'a, 'tcx> {
42 tcx: TyCtxt<'tcx>,
43 when: String,
44 body: &'a Body<'tcx>,
45 is_fn_like: bool,
46 always_live_locals: &'a DenseBitSet<Local>,
47 maybe_storage_live: ResultsCursor<'a, 'tcx, MaybeStorageLive<'a>>,
48 maybe_storage_dead: ResultsCursor<'a, 'tcx, MaybeStorageDead<'a>>,
49 places: FxHashSet<PlaceRef<'tcx>>,
50}
51
52impl<'a, 'tcx> Lint<'a, 'tcx> {
53 #[track_caller]
54 fn fail(&self, location: Location, msg: impl AsRef<str>) {
55 let span = self.body.source_info(location).span;
56 self.tcx.sess.dcx().span_delayed_bug(
57 span,
58 format!(
59 "broken MIR in {:?} ({}) at {:?}:\n{}",
60 self.body.source.instance,
61 self.when,
62 location,
63 msg.as_ref()
64 ),
65 );
66 }
67}
68
69impl<'a, 'tcx> Visitor<'tcx> for Lint<'a, 'tcx> {
70 fn visit_local(&mut self, local: Local, context: PlaceContext, location: Location) {
71 if context.is_use() {
72 self.maybe_storage_dead.seek_after_primary_effect(location);
73 if self.maybe_storage_dead.get().contains(local) {
74 self.fail(location, format!("use of local {local:?}, which has no storage here"));
75 }
76 }
77 }
78
79 fn visit_statement(&mut self, statement: &Statement<'tcx>, location: Location) {
80 match &statement.kind {
81 StatementKind::Assign(box (dest, rvalue)) => {
82 let forbid_aliasing = match rvalue {
83 Rvalue::Use(..)
84 | Rvalue::CopyForDeref(..)
85 | Rvalue::Repeat(..)
86 | Rvalue::Aggregate(..)
87 | Rvalue::Cast(..)
88 | Rvalue::ShallowInitBox(..)
89 | Rvalue::WrapUnsafeBinder(..) => true,
90 Rvalue::ThreadLocalRef(..)
91 | Rvalue::NullaryOp(..)
92 | Rvalue::UnaryOp(..)
93 | Rvalue::BinaryOp(..)
94 | Rvalue::Ref(..)
95 | Rvalue::RawPtr(..)
96 | Rvalue::Discriminant(..) => false,
97 };
98 if forbid_aliasing {
100 VisitPlacesWith(|src: Place<'tcx>, _| {
101 if *dest == src
102 || (dest.local == src.local
103 && !dest.is_indirect()
104 && !src.is_indirect())
105 {
106 self.fail(
107 location,
108 format!(
109 "encountered `{statement:?}` statement with overlapping memory"
110 ),
111 );
112 }
113 })
114 .visit_rvalue(rvalue, location);
115 }
116 }
117 StatementKind::StorageLive(local) => {
118 self.maybe_storage_live.seek_before_primary_effect(location);
119 if self.maybe_storage_live.get().contains(*local) {
120 self.fail(
121 location,
122 format!("StorageLive({local:?}) which already has storage here"),
123 );
124 }
125 }
126 _ => {}
127 }
128
129 self.super_statement(statement, location);
130 }
131
132 fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
133 match &terminator.kind {
134 TerminatorKind::Return => {
135 if self.is_fn_like {
136 self.maybe_storage_live.seek_after_primary_effect(location);
137 for local in self.maybe_storage_live.get().iter() {
138 if !self.always_live_locals.contains(local) {
139 self.fail(
140 location,
141 format!(
142 "local {local:?} still has storage when returning from function"
143 ),
144 );
145 }
146 }
147 }
148 }
149 TerminatorKind::Call { args, destination, .. } => {
150 self.places.clear();
154 self.places.insert(destination.as_ref());
155 let mut has_duplicates = false;
156 for arg in args {
157 if let Operand::Move(place) = &arg.node {
158 has_duplicates |= !self.places.insert(place.as_ref());
159 }
160 }
161 if has_duplicates {
162 self.fail(
163 location,
164 format!(
165 "encountered overlapping memory in `Move` arguments to `Call` terminator: {:?}",
166 terminator.kind,
167 ),
168 );
169 }
170 }
171 _ => {}
172 }
173
174 self.super_terminator(terminator, location);
175 }
176}