#include <stdbool.h>

struct bitfields {
   int i : 2;
   bool j : 1;
} t;

int test(struct bitfields *a)
{
   return a->i;
}

int main(int argc, char **argv)
{
   //@ assert \valid_read(&(t.j));
   t.j = 1;
   return test(&t);
}

diff --git a/translate.ml b/translate.ml
index 674e15c..a835057 100644
--- a/translate.ml
+++ b/translate.ml
@@ -629,15 +629,17 @@ and named_predicate_content_to_exp ?name kf env p =
        | Pvalid_read _ -> "valid_read" 
        | _ -> assert false
       in
-      let typ = Cil.unrollType(Typing.typ_of_term(t)) in
-         match typ with
-            | TPtr(TInt(_,attr), _) ->
-               if Cil.hasAttribute Cil.bitfield_attribute_name attr
-               then
-                  not_yet env "Can't take address from variable with bitfield." 
-               else
-                  mmodel_call_with_size ~loc kf name Cil.intType env t
-            | _ -> mmodel_call_with_size ~loc kf name Cil.intType env t
+      let ptyp = Cil.unrollType(Typing.typ_of_term(t)) in
+      let typ = match ptyp with
+                | TPtr(a,_) -> a
+                | _ -> assert false
+      in
+      let attr = Cil.typeAttrs typ in
+      if Cil.hasAttribute Cil.bitfield_attribute_name attr
+      then
+         not_yet env "Can't take address from variable with bitfield." 
+      else
+         mmodel_call_with_size ~loc kf name Cil.intType env t
     in
     if !is_visiting_valid then begin
       (* we already transformed \valid(t) into \initialized(&t) && \valid(t):