From 4b8df3eac2ce94b3ed28efccc0669e88b0a73125 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 3 Sep 2021 23:20:36 +0200
Subject: [PATCH] [Parser] improve error message for unsupported C11 keywords
---
src/kernel_internals/parsing/clexer.mll | 27 +++++++++++++++++++++++--
1 file changed, 25 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/parsing/clexer.mll b/src/kernel_internals/parsing/clexer.mll
index 5745e3cc4ab..59522610bb1 100644
--- a/src/kernel_internals/parsing/clexer.mll
+++ b/src/kernel_internals/parsing/clexer.mll
@@ -238,8 +238,31 @@ let init_lexicon _ =
let l =
Seq.fold_left (fun acc c -> convert_char c :: acc) [] seq
in
- CST_STRING (List.rev l,loc)))
- ]
+ CST_STRING (List.rev l,loc)));
+ (* The following C11 tokens are not yet supported, so we provide some
+ helpful error messages. Usage of 'fatal' instead of 'error' below
+ prevents duplicate error messages due to parsing errors. *)
+ ("_Alignas",
+ fun loc ->
+ Kernel.fatal ~source:(fst loc)
+ "_Alignas is currently unsupported by Frama-C.");
+ ("_Alignof",
+ fun loc ->
+ Kernel.fatal ~source:(fst loc)
+ "_Alignof is currently unsupported by Frama-C.");
+ ("_Complex",
+ fun loc ->
+ Kernel.fatal ~source:(fst loc)
+ "_Complex is currently unsupported by Frama-C.");
+ ("_Generic",
+ fun loc ->
+ Kernel.fatal ~source:(fst loc)
+ "_Generic is currently unsupported by Frama-C.");
+ ("_Imaginary",
+ fun loc ->
+ Kernel.fatal ~source:(fst loc)
+ "_Imaginary is currently unsupported by Frama-C.");
+ ]
let is_c_keyword s = Hashtbl.mem lexicon s
--
GitLab