Translate C99 flexible array member

[lucic71]

No description provided.

[nunoplopes]

The refcount translation is very weird. How come a malloc can work through the Rc/RefCell/Box?

I suspect if you add an example that accesses an array with 8 elements, it will crash.

[lucic71]

The refcount translation is very weird. How come a malloc can work through the Rc/RefCell/Box?

Malloc returns an array of bytes which is reinterpreted as F. ByteRepr builds an F using the bytes and from that point on it's just a reinterpreted pointer. There is nothing wrong with that.

I suspect if you add an example that accesses an array with 8 elements, it will crash.

I added