2 use rustc_lint
::LateContext
;
3 use rustc_middle
::ty
::{cast::CastKind, Ty}
;
4 use rustc_span
::DUMMY_SP
;
5 use rustc_typeck
::check
::{cast::{self, CastCheckResult}
, FnCtxt
, Inherited
};
7 // check if the component types of the transmuted collection and the result have different ABI,
9 pub(super) fn is_layout_incompatible
<'tcx
>(cx
: &LateContext
<'tcx
>, from
: Ty
<'tcx
>, to
: Ty
<'tcx
>) -> bool
{
10 if let Ok(from
) = cx
.tcx
.try_normalize_erasing_regions(cx
.param_env
, from
)
11 && let Ok(to
) = cx
.tcx
.try_normalize_erasing_regions(cx
.param_env
, to
)
12 && let Ok(from_layout
) = cx
.tcx
.layout_of(cx
.param_env
.and(from
))
13 && let Ok(to_layout
) = cx
.tcx
.layout_of(cx
.param_env
.and(to
))
15 from_layout
.size
!= to_layout
.size
|| from_layout
.align
.abi
!= to_layout
.align
.abi
17 // no idea about layout, so don't lint
22 /// Check if the type conversion can be expressed as a pointer cast, instead of
23 /// a transmute. In certain cases, including some invalid casts from array
24 /// references to pointers, this may cause additional errors to be emitted and/or
25 /// ICE error messages. This function will panic if that occurs.
26 pub(super) fn can_be_expressed_as_pointer_cast
<'tcx
>(
27 cx
: &LateContext
<'tcx
>,
32 use CastKind
::{AddrPtrCast, ArrayPtrCast, FnPtrAddrCast, FnPtrPtrCast, PtrAddrCast, PtrPtrCast}
;
34 check_cast(cx
, e
, from_ty
, to_ty
),
35 Some(PtrPtrCast
| PtrAddrCast
| AddrPtrCast
| ArrayPtrCast
| FnPtrPtrCast
| FnPtrAddrCast
)
39 /// If a cast from `from_ty` to `to_ty` is valid, returns an Ok containing the kind of
40 /// the cast. In certain cases, including some invalid casts from array references
41 /// to pointers, this may cause additional errors to be emitted and/or ICE error
42 /// messages. This function will panic if that occurs.
43 fn check_cast
<'tcx
>(cx
: &LateContext
<'tcx
>, e
: &'tcx Expr
<'_
>, from_ty
: Ty
<'tcx
>, to_ty
: Ty
<'tcx
>) -> Option
<CastKind
> {
44 let hir_id
= e
.hir_id
;
45 let local_def_id
= hir_id
.owner
;
47 Inherited
::build(cx
.tcx
, local_def_id
).enter(|inherited
| {
48 let fn_ctxt
= FnCtxt
::new(&inherited
, cx
.param_env
, hir_id
);
50 // If we already have errors, we can't be sure we can pointer cast.
52 !fn_ctxt
.errors_reported_since_creation(),
53 "Newly created FnCtxt contained errors"
56 if let CastCheckResult
::Deferred(check
) = cast
::check_cast(
57 &fn_ctxt
, e
, from_ty
, to_ty
,
58 // We won't show any error to the user, so we don't care what the span is here.
61 let res
= check
.do_check(&fn_ctxt
);
63 // do_check's documentation says that it might return Ok and create
64 // errors in the fcx instead of returning Err in some cases. Those cases
65 // should be filtered out before getting here.
67 !fn_ctxt
.errors_reported_since_creation(),
68 "`fn_ctxt` contained errors after cast check!"