diff options
Diffstat (limited to 'cparser/Cutil.ml')
| -rw-r--r-- | cparser/Cutil.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index 1c9f747e..8b6d5e32 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -264,6 +264,8 @@ let alignas_attribute al = let rec alignas_attr accu = function | [] -> accu | AAlignas n :: al -> alignas_attr (max n accu) al + | Attr(("aligned" | "__aligned__"), [AInt n]) :: al -> + alignas_attr (max (Int64.to_int n) accu) al | a :: al -> alignas_attr accu al in alignas_attr 0 al |