macros: add compile_error! macro

addresses #927

Signed-off-by: Zixing Liu <liushuyu011@gmail.com>
This commit is contained in:
liushuyu 2022-04-03 02:38:49 -06:00
parent 9011184f38
commit 35570ae410
No known key found for this signature in database
GPG Key ID: 23D1CE4534419437
4 changed files with 32 additions and 0 deletions

View File

@ -236,4 +236,20 @@ MacroBuiltin::include_str (Location invoc_locus, AST::MacroInvocData &invoc)
return AST::ASTFragment ({node});
}
/* Expand builtin macro compile_error!("error"), which forces a compile error
during the compile time. */
AST::ASTFragment
MacroBuiltin::compile_error (Location invoc_locus, AST::MacroInvocData &invoc)
{
auto lit_expr
= parse_single_string_literal (invoc.get_delim_tok_tree (), invoc_locus);
if (lit_expr == nullptr)
return AST::ASTFragment::create_error ();
std::string error_string = lit_expr->as_string ();
rust_error_at (invoc_locus, "%s", error_string.c_str ());
return AST::ASTFragment::create_error ();
}
} // namespace Rust

View File

@ -77,6 +77,9 @@ public:
static AST::ASTFragment include_str (Location invoc_locus,
AST::MacroInvocData &invoc);
static AST::ASTFragment compile_error (Location invoc_locus,
AST::MacroInvocData &invoc);
};
} // namespace Rust

View File

@ -753,6 +753,7 @@ Mappings::insert_macro_def (AST::MacroRulesDefinition *macro)
{"column", MacroBuiltin::column},
{"include_bytes", MacroBuiltin::include_bytes},
{"include_str", MacroBuiltin::include_str},
{"compile_error", MacroBuiltin::compile_error},
};
auto builtin = builtin_macros.find (macro->get_rule_name ());

View File

@ -0,0 +1,12 @@
macro_rules! compile_error {
() => {{}};
}
fn main () {
let message = "error message";
compile_error! (message); // { dg-error "argument must be a string literal" "" }
compile_error! (); // { dg-error "macro takes 1 argument" "" }
compile_error! ("a", "b"); // { dg-error "macro takes 1 argument" "" }
compile_error! ("expected error message"); // { dg-error "expected error message" }
compile_error! ("expected error message",); // { dg-error "expected error message" }
}