[CN] crash if a resource is required on a void pointer

[peterohanley]

Not much to it. Should give an error with source location instead.

int f(void *e)
/*@
  requires take ei = Owned(e);
  @*/
{       }

cn verify  cn_crash_1.c
internal error: size_of_ctype applied to void
cn: internal error, uncaught exception:
    Failure("internal error: size_of_ctype applied to void")