C++ (Cpp) __VERIFIER_atomic_dec Beispiele

Beispiel #1

Datei: qw2004_true-unreach-call.c Projekt: heryxpc/prototype

void BCSP_IoDecrement() {
    int pending;
    pending = __VERIFIER_atomic_dec();
    if (pending == 0) {
        stoppingEvent = 1;
    }
}

Beispiel #2

Datei: 33_double_lock_p1_vs_true-unreach-call.c Projekt: oliverstth/sv-benchmarks

inline void my_thread2()
{
  __VERIFIER_atomic_acquire(&mutexb);
  __VERIFIER_atomic_dec();
  __VERIFIER_atomic_inc();
  __VERIFIER_atomic_release(&mutexb);
}