612 static int
613 check_semaphore_identity(
614 PyShmSemObj *o)
615 {
616 int new_semid;
617 int old_semid = o->semid;
618 unsigned short old_nsems = o->ds.sem_nsems;
619 key_t old_key = o->ds.sem_perm.key;
620 semctl_arg arg;
621
622 if (old_key != IPC_PRIVATE) {
when considering range: -0x80000000 <= value <= -1
taking True path
623 new_semid = semget(old_key, 0, 0);
624 if (new_semid != old_semid)
when taking False path
625 return 0;
626 }
627 else
628 new_semid = old_semid;
629 arg.buf = &(o->ds);
630 if ((semctl(new_semid, 0, IPC_STAT, arg) != -1) &&
passing uninitialized data (arg) as argument 4 to function at src/extensions/shmmodule.c:630
found 2 similar trace(s) to this
631 (old_nsems == o->ds.sem_nsems) &&
632 (old_key == o->ds.sem_perm.key))
633 return 1;
634 return 0;
635 }