]> git.lizzy.rs Git - rust.git/commitdiff
Fix an ICE parsing a malformed attribute.
authorNicholas Nethercote <n.nethercote@gmail.com>
Tue, 22 Nov 2022 05:48:42 +0000 (16:48 +1100)
committerNicholas Nethercote <n.nethercote@gmail.com>
Wed, 23 Nov 2022 01:11:14 +0000 (12:11 +1100)
Fixes #104620.

compiler/rustc_ast/src/attr/mod.rs
src/test/ui/parser/issue-104620.rs [new file with mode: 0644]
src/test/ui/parser/issue-104620.stderr [new file with mode: 0644]

index 2f7c7a29492814a9d037d9db46633a56d4682dc0..3e0129531150c9f9bf651a92300aa0ded41c0e16 100644 (file)
@@ -618,9 +618,12 @@ fn from_attr_args(args: &AttrArgs) -> Option<MetaItemKind> {
             }) => MetaItemKind::list_from_tokens(tokens.clone()),
             AttrArgs::Delimited(..) => None,
             AttrArgs::Eq(_, AttrArgsEq::Ast(expr)) => match expr.kind {
-                ast::ExprKind::Lit(token_lit) => Some(MetaItemKind::NameValue(
-                    Lit::from_token_lit(token_lit, expr.span).expect("token_lit in from_attr_args"),
-                )),
+                ast::ExprKind::Lit(token_lit) => {
+                    // Turn failures to `None`, we'll get parse errors elsewhere.
+                    Lit::from_token_lit(token_lit, expr.span)
+                        .ok()
+                        .map(|lit| MetaItemKind::NameValue(lit))
+                }
                 _ => None,
             },
             AttrArgs::Eq(_, AttrArgsEq::Hir(lit)) => Some(MetaItemKind::NameValue(lit.clone())),
diff --git a/src/test/ui/parser/issue-104620.rs b/src/test/ui/parser/issue-104620.rs
new file mode 100644 (file)
index 0000000..f49476c
--- /dev/null
@@ -0,0 +1,4 @@
+#![feature(rustc_attrs)]
+
+#![rustc_dummy=5z] //~ ERROR unexpected expression: `5z`
+fn main() {}
diff --git a/src/test/ui/parser/issue-104620.stderr b/src/test/ui/parser/issue-104620.stderr
new file mode 100644 (file)
index 0000000..d06a6b2
--- /dev/null
@@ -0,0 +1,8 @@
+error: unexpected expression: `5z`
+  --> $DIR/issue-104620.rs:3:16
+   |
+LL | #![rustc_dummy=5z]
+   |                ^^
+
+error: aborting due to previous error
+