Crash on pointer dereference for pointer constrained with assumption

[danpoe]

#include <assert.h>
#include <stdlib.h>

void main()
{
  char *p;
  __CPROVER_assume(__CPROVER_r_ok(p - 1, 1));
  *p;
}

CBMC version: 03ab5c7
Operating system: Ubuntu
Exact command line resulting in the issue: cbmc --pointer-check --no-simplify --no-propagation main.c
What behaviour did you expect: verification failed
What happened instead: crash

[danielsn]

May be related to #5293