diff options
Diffstat (limited to 'cfrontend/C2Clight.ml')
| -rw-r--r-- | cfrontend/C2Clight.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cfrontend/C2Clight.ml b/cfrontend/C2Clight.ml index b12d60bb..100c72b1 100644 --- a/cfrontend/C2Clight.ml +++ b/cfrontend/C2Clight.ml @@ -791,6 +791,13 @@ let atom_sizeof a = with Not_found -> None +let atom_alignof a = + try + let (env, (sto, id, ty, init)) = Hashtbl.find decl_atom a in + Cutil.alignof env ty + with Not_found -> + None + (** ** The builtin environment *) open Cparser.Builtins |