Module ptr_nulls 

Re-exports

use rustc_ast::LitKind; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_hir::BinOpKind; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::ExprKind; 🔒

use rustc_hir::TyKind; 🔒

use rustc_lint_defs::declare_lint; 🔒

use rustc_lint_defs::declare_lint_pass; 🔒

use rustc_middle::ty::RawPtr; 🔒

use rustc_span::Span; 🔒

use rustc_span::sym; 🔒

use crate::diagnostics::InvalidNullArgumentsDiag; 🔒

use crate::diagnostics::UselessPtrNullChecksDiag; 🔒

use crate::utils::peel_casts; 🔒

use crate::LateContext; 🔒

use crate::LateLintPass; 🔒

use crate::LintContext; 🔒

Structs

PtrNullChecks

Statics

INVALID_NULL_ARGUMENTS 🔒

The invalid_null_arguments lint checks for invalid usage of null pointers in arguments.

USELESS_PTR_NULL_CHECKS 🔒

The useless_ptr_null_checks lint checks for useless null checks against pointers obtained from non-null types.

Functions

is_null_ptr 🔒

Checks if the given expression is a null pointer (modulo casting)

useless_check 🔒

This function checks if the expression is from a series of consecutive casts, i.e. (my_fn as *const _ as *mut _).cast_mut() and whether the original expression is either a fn ptr, a reference, or a function call whose definition is annotated with #[lint::never_returns_null_ptr]. If this situation is present, the function returns the appropriate diagnostic.