2020-08-27 23:18:05 +00:00
use crate ::utils ::{ is_expn_of , is_type_diagnostic_item , return_ty , span_lint_and_then } ;
use if_chain ::if_chain ;
use rustc_hir as hir ;
2020-08-29 23:17:53 +00:00
use rustc_hir ::intravisit ::{ self , FnKind , NestedVisitorMap , Visitor } ;
use rustc_hir ::Expr ;
2020-08-27 23:18:05 +00:00
use rustc_lint ::{ LateContext , LateLintPass } ;
use rustc_middle ::hir ::map ::Map ;
use rustc_session ::{ declare_lint_pass , declare_tool_lint } ;
use rustc_span ::Span ;
declare_clippy_lint! {
2020-08-27 23:55:23 +00:00
/// **What it does:** Checks for usage of `panic!`, `unimplemented!`, `todo!` or `unreachable!` in a function of type result.
2020-08-27 23:18:05 +00:00
///
2020-08-27 23:55:23 +00:00
/// **Why is this bad?** For some codebases, it is desirable for functions of type result to return an error instead of crashing. Hence unimplemented, panic and unreachable should be avoided.
2020-08-27 23:18:05 +00:00
///
/// **Known problems:** None.
///
/// **Example:**
///
/// ```rust
2020-08-27 23:55:23 +00:00
/// fn result_with_panic() -> Result<bool, String>
2020-08-27 23:18:05 +00:00
/// {
/// panic!("error");
/// }
/// ```
pub PANIC_IN_RESULT ,
restriction ,
2020-08-27 23:55:23 +00:00
" functions of type `Result<..>` that contain `panic!()`, `todo!()` or `unreachable()` or `unimplemented()` "
2020-08-27 23:18:05 +00:00
}
declare_lint_pass! ( PanicInResult = > [ PANIC_IN_RESULT ] ) ;
impl < ' tcx > LateLintPass < ' tcx > for PanicInResult {
2020-08-29 23:17:53 +00:00
fn check_fn (
& mut self ,
cx : & LateContext < ' tcx > ,
_ : FnKind < ' tcx > ,
_ : & ' tcx hir ::FnDecl < ' tcx > ,
body : & ' tcx hir ::Body < ' tcx > ,
span : Span ,
hir_id : hir ::HirId ,
) {
2020-08-27 23:18:05 +00:00
if_chain! {
2020-08-29 23:17:53 +00:00
if is_type_diagnostic_item ( cx , return_ty ( cx , hir_id ) , sym! ( result_type ) ) ;
then
{
lint_impl_body ( cx , span , body ) ;
2020-08-27 23:18:05 +00:00
}
}
2020-08-29 23:22:15 +00:00
}
2020-08-27 23:18:05 +00:00
}
struct FindPanicUnimplementedUnreachable {
result : Vec < Span > ,
}
impl < ' tcx > Visitor < ' tcx > for FindPanicUnimplementedUnreachable {
type Map = Map < ' tcx > ;
fn visit_expr ( & mut self , expr : & ' tcx Expr < '_ > ) {
2020-08-27 23:55:23 +00:00
if is_expn_of ( expr . span , " unimplemented " ) . is_some ( )
| | is_expn_of ( expr . span , " unreachable " ) . is_some ( )
| | is_expn_of ( expr . span , " panic " ) . is_some ( )
| | is_expn_of ( expr . span , " todo " ) . is_some ( )
{
2020-08-27 23:18:05 +00:00
self . result . push ( expr . span ) ;
}
// and check sub-expressions
intravisit ::walk_expr ( self , expr ) ;
}
fn nested_visit_map ( & mut self ) -> NestedVisitorMap < Self ::Map > {
NestedVisitorMap ::None
}
}
2020-08-29 23:17:53 +00:00
fn lint_impl_body < ' tcx > ( cx : & LateContext < ' tcx > , impl_span : Span , body : & ' tcx hir ::Body < ' tcx > ) {
let mut panics = FindPanicUnimplementedUnreachable { result : Vec ::new ( ) } ;
panics . visit_expr ( & body . value ) ;
if ! panics . result . is_empty ( ) {
span_lint_and_then (
cx ,
PANIC_IN_RESULT ,
impl_span ,
" used `unimplemented!()`, `unreachable!()`, `todo!()` or `panic!()` in a function that returns `Result` " ,
move | diag | {
diag . help (
" `unimplemented!()`, `unreachable!()`, `todo!()` or `panic!()` should not be used in a function that returns `Result` as `Result` is expected to return an error instead of crashing " ,
) ;
diag . span_note ( panics . result , " return Err() instead of panicking " ) ;
} ,
) ;
2020-08-27 23:18:05 +00:00
}
}