bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

unrelated cleanup

Browse source
This commit is contained in:
Kalle Wachsmuth 2024-06-17 18:49:19 +02:00
parent c2270becb6
commit d810d426a4
No known key found for this signature in database
GPG key ID: 0B52AE391C674CE5
1 changed files with 2 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

12
compiler/rustc_lint/src/builtin.rs
View file

@ -90,19 +90,11 @@ declare_lint! {
declare_lint_pass!(WhileTrue => [WHILE_TRUE]); declare_lint_pass!(WhileTrue => [WHILE_TRUE]);
/// Traverse through any amount of parenthesis and return the first non-parens expression.
fn pierce_parens(mut expr: &ast::Expr) -> &ast::Expr {
while let ast::ExprKind::Paren(sub) = &expr.kind {
expr = sub;
}
expr
}
impl EarlyLintPass for WhileTrue { impl EarlyLintPass for WhileTrue {
#[inline] #[inline]
fn check_expr(&mut self, cx: &EarlyContext<'_>, e: &ast::Expr) { fn check_expr(&mut self, cx: &EarlyContext<'_>, e: &ast::Expr) {
if let ast::ExprKind::While(cond, _, label) = &e.kind if let ast::ExprKind::While(cond, _, label) = &e.kind
&& let ast::ExprKind::Lit(token_lit) = pierce_parens(cond).kind && let ast::ExprKind::Lit(token_lit) = cond.peel_parens().kind
&& let token::Lit { kind: token::Bool, symbol: kw::True, .. } = token_lit && let token::Lit { kind: token::Bool, symbol: kw::True, .. } = token_lit
&& !cond.span.from_expansion() && !cond.span.from_expansion()
{ {
@ -2651,7 +2643,7 @@ impl<'tcx> LateLintPass<'tcx> for InvalidValue {
} }
declare_lint! { declare_lint! {
/// The `deref_nullptr` lint detects when an null pointer is dereferenced, /// The `deref_nullptr` lint detects when a null pointer is dereferenced,
/// which causes [undefined behavior]. /// which causes [undefined behavior].
/// ///
/// ### Example /// ### Example