1 files changed, 5 insertions, 0 deletions
diff --git a/cparser/Ceval.ml b/cparser/Ceval.ml
index fbeb5224..4fc01e5b 100644
--- a/cparser/Ceval.ml
+++ b/cparser/Ceval.ml
@@ -246,6 +246,11 @@ let rec expr env e =
       | None -> raise Notconst
       | Some n -> I(Int64.of_int n)
       end
+  | EAlignof ty ->
+      begin match alignof env ty with
+      | None -> raise Notconst
+      | Some n -> I(Int64.of_int n)
+      end
   | EVar _ ->
       raise Notconst
   | EUnop(op, e1) ->