From cbbe74443efd1444142a19f7ef918fb263e612e6 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 14 Dec 2022 13:54:24 +0100
Subject: [PATCH] synchronize with frama-c/frama-c!4028
---
convert.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/convert.ml b/convert.ml
index 70069ae6..7a600ceb 100644
--- a/convert.ml
+++ b/convert.ml
@@ -306,7 +306,7 @@ let rec make_addrof e =
{ e with expr_node = COMMA (List.rev ((make_addrof a) :: l))})
| NOTHING | UNARY _ | LABELADDR _ | BINARY _ | CALL _ | CONSTANT _
| EXPR_SIZEOF _ | TYPE_SIZEOF _ | EXPR_ALIGNOF _ | TYPE_ALIGNOF _
- | GNU_BODY _ | EXPR_PATTERN _ | CAST _ ->
+ | GNU_BODY _ | EXPR_PATTERN _ | CAST _ | GENERIC _ ->
Frama_Clang_option.fatal
"Cannot take the address of a non-lval expression"
--
GitLab