Visit enumerator attributes in Cabsvisit

goblint · Aug 2, 2024 · 04b8a45 · 04b8a45
1 parent 0d21b34
commit 04b8a45
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/frontc/cabsvisit.ml b/src/frontc/cabsvisit.ml
@@ -199,8 +199,9 @@ and childrenTypeSpecifier vis ts =
       if fg' != fg then Tunion( n, Some fg', extraAttrs) else ts
   | Tenum (n, Some ei, extraAttrs) ->
       let doOneEnumItem ((s, attrs, e, loc) as ei) =
+        let attrs' = visitCabsAttributes vis attrs in
         let e' = visitCabsExpression vis e in
-        if e' != e then (s, attrs, e', loc) else ei (* TODO: visit attrs? *)
+        if attrs' != attrs || e' != e then (s, attrs', e', loc) else ei
       in
       vis#vEnterScope ();
       let ei' = mapNoCopy doOneEnumItem ei in