#include <assert.h>
#include <stddef.h>

int main() {
  int r; // rand
  int i = 0;
  int *p;

  if (r)
    p = &i;
  else
    p = NULL;

  if (*p == 2) // WARN
    assert(1); // reachable (via UB)
  return 0;
}

Add NULL dereferenced top value test
Add NULL dereferenced top value test

This is why we assumed this to be unreachable:
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1364
