Skip to content

Commit 38b27a2

Browse files
committed
Remove attr checking from hir_analysis
1 parent 470e4ca commit 38b27a2

File tree

1 file changed

+0
-17
lines changed

1 file changed

+0
-17
lines changed

compiler/rustc_hir_analysis/src/check/intrinsic.rs

Lines changed: 0 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -197,25 +197,8 @@ pub(crate) fn check_intrinsic_type(
197197
(Ty::new_ref(tcx, env_region, va_list_ty, mutbl), va_list_ty)
198198
};
199199

200-
// FIXME(Sa4dUs): Get the actual safety level of the diff function
201-
let safety = if has_autodiff {
202-
hir::Safety::Safe
203-
} else {
204-
intrinsic_operation_unsafety(tcx, intrinsic_id)
205-
};
206200
let n_lts = 0;
207201
let (n_tps, n_cts, inputs, output) = match intrinsic_name {
208-
_ if has_autodiff => {
209-
let sig = tcx.fn_sig(intrinsic_id.to_def_id());
210-
let sig = sig.skip_binder();
211-
let n_tps = generics.own_counts().types;
212-
let n_cts = generics.own_counts().consts;
213-
214-
let inputs = sig.skip_binder().inputs().to_vec();
215-
let output = sig.skip_binder().output();
216-
217-
(n_tps, n_cts, inputs, output)
218-
}
219202
sym::enzyme_autodiff => (4, 0, vec![param(0), param(1), param(2)], param(3)),
220203
sym::abort => (0, 0, vec![], tcx.types.never),
221204
sym::unreachable => (0, 0, vec![], tcx.types.never),

0 commit comments

Comments
 (0)