bb93c23c08
the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`.
15 lines
511 B
Rust
15 lines
511 B
Rust
use clippy_utils::diagnostics::span_lint;
|
|
use rustc_hir as hir;
|
|
use rustc_lint::LateContext;
|
|
use rustc_middle::ty;
|
|
|
|
use super::ZST_OFFSET;
|
|
|
|
pub(super) fn check(cx: &LateContext<'_>, expr: &hir::Expr<'_>, recv: &hir::Expr<'_>) {
|
|
if let ty::RawPtr(ty, _) = cx.typeck_results().expr_ty(recv).kind()
|
|
&& let Ok(layout) = cx.tcx.layout_of(cx.typing_env().as_query_input(*ty))
|
|
&& layout.is_zst()
|
|
{
|
|
span_lint(cx, ZST_OFFSET, expr.span, "offset calculation on zero-sized value");
|
|
}
|
|
}
|