Module dangling 

Re-exports

use rustc_ast::visit::visit_opt; 🔒

use rustc_ast::visit::walk_list; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_hir::intravisit::FnKind; 🔒

use rustc_hir::intravisit::Visitor; 🔒

use rustc_hir::intravisit::walk_expr; 🔒

use rustc_hir::Block; 🔒

use rustc_hir::Body; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::ExprKind; 🔒

use rustc_hir::FnDecl; 🔒

use rustc_hir::FnRetTy; 🔒

use rustc_hir::TyKind; 🔒

use rustc_lint_defs::declare_lint; 🔒

use rustc_lint_defs::impl_lint_pass; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Span; 🔒

use rustc_span::sym; 🔒

use crate::diagnostics::DanglingPointersFromLocals; 🔒

use crate::diagnostics::DanglingPointersFromTemporaries; 🔒

use crate::LateContext; 🔒

use crate::LateLintPass; 🔒

Structs

DanglingPointerLocalContext 🔒

DanglingPointerReturnSearcher 🔒

DanglingPointerSearcher 🔒

This produces a dangling pointer:

DanglingPointers 🔒

FIXME: false negatives (i.e. the lint is not emitted when it should be)

Statics

DANGLING_POINTERS_FROM_LOCALS

The dangling_pointers_from_locals lint detects getting a pointer to data of a local that will be dropped at the end of the function.

DANGLING_POINTERS_FROM_TEMPORARIES

The dangling_pointers_from_temporaries lint detects getting a pointer to data of a temporary that will immediately get dropped.

Functions

is_temporary_rvalue 🔒

lint_addr_of_local 🔒

Look for &<path_to_local_in_same_body> pattern and emit lint for it

lint_expr 🔒

owns_allocation 🔒