From ce1c7f7f6f1db90061ac6ff7caaf4e5fb2d71028 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 26 Jul 2024 10:50:43 +0300
Subject: [PATCH] Add float attributes to Cabs2cil

---
 src/frontc/cabs2cil.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontc/cabs2cil.ml b/src/frontc/cabs2cil.ml
index b3f6c9173..85dd9c092 100644
--- a/src/frontc/cabs2cil.ml
+++ b/src/frontc/cabs2cil.ml
@@ -2927,6 +2927,7 @@ and doAttr (a: A.attribute) : attribute list =
             | _ ->
                 E.s (error "Invalid attribute constant: %s")
           end
+        | A.CONSTANT (A.CONST_FLOAT str) -> ACons (str, [])
         | A.CALL(A.VARIABLE n, args) -> begin
             let n' = if strip then stripUnderscore n else n in
             let ae' = Util.list_map ae args in