Ejemplos de __VERIFIER_atomic_take_read_lock en C++ (Cpp)

Ejemplo n.º 1

Archivo: read_write_lock_true.c Proyecto: jirislaby/svcomp

void *reader() { //reader
  int l;
  __VERIFIER_atomic_take_read_lock();
  l = x;
  y = l;
  assert(y == x);
  __VERIFIER_atomic_release_read_lock();
}

Ejemplo n.º 2

Archivo: read_write_lock_false-unreach-call.c_anno.c Proyecto: heryxpc/prototype

void *reader() { //reader
  int l;
  __VERIFIER_atomic_take_read_lock();
  l = x;
  y = l;
  /* assert not proved */
  assert(y == x);
  /* reachable */
  l = r-1;
  r = l;
}