From b01ad1e1385551f28c76f3c5f19855db1e26e3b7 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 30 Sep 2019 14:58:49 +0200
Subject: [PATCH] [Kernel] Failure if cparser generates attributes with ghost
parameters
---
src/kernel_internals/typing/cabs2cil.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index c980a64c6bb..262085f0224 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -4792,9 +4792,9 @@ and doAttr ghost (a: A.attribute) : attribute list =
end
| A.CONSTANT (A.CONST_FLOAT str) ->
ACons ("__fc_float", [AStr str])
- | A.CALL({expr_node = A.VARIABLE n}, args, ghost) -> begin
+ | A.CALL({expr_node = A.VARIABLE n}, args, []) -> begin
let n' = if strip then stripUnderscore n else n in
- let ae' = List.map ae (args@ghost) in
+ let ae' = List.map ae args in
ACons(n', ae')
end
| A.EXPR_SIZEOF e -> ASizeOfE (ae e)
--
GitLab