problem with ocaml 4.02.3

[UnixJunkie]

The following code is enough to crash the frontend:

typedef struct {
  int is_internal:1, n:31;
} kbnode_t;

int main() {
  kbnode_t t;
}

[UnixJunkie]

We crash on this line of memcad's transform.ml:

    | { d = FieldDecl { fd_type = ty;
                        fd_name = name;
                        fd_bitw = bitwidth;
                        fd_init = init;
                        fd_index } } :: tl ->
      Printf.printf "case 3\n%!";
      if bitwidth <> None then Log.unimp "Bit fields not implemented";

The comparison with None gives a Segmentation fault of the ocaml program.

[UnixJunkie]

Finally, the logger is broken. Hence, I will just replace it by dolog.

[UnixJunkie]

done