@@ -225,10 +225,12 @@ static PNone release(VirtualFrame frame, PSemLock self,
                         }
                     } catch (UnsupportedPosixFeatureException e) {
                         /* We will only check properly the maxvalue == 1 case */
-                        if (posixLib.semTryWait(posixSupport, self.getHandle())) {
-                            /* it was not locked so undo wait and raise */
-                            posixLib.semPost(posixSupport, self.getHandle());
-                            throw raiseNode.get(inliningTarget).raise(ValueError, ErrorMessages.SEMAPHORE_RELEASED_TOO_MANY_TIMES);
+                        if (self.getMaxValue() == 1) {
+                            if (posixLib.semTryWait(posixSupport, self.getHandle())) {
+                                /* it was not locked so undo wait and raise */
+                                posixLib.semPost(posixSupport, self.getHandle());
+                                throw raiseNode.get(inliningTarget).raise(ValueError, ErrorMessages.SEMAPHORE_RELEASED_TOO_MANY_TIMES);
+                            }
                         }
                     }
                 } catch (PosixException e) {
 
@@ -40,8 +40,8 @@
  */
 package com.oracle.graal.python.runtime;
 
-// Auto generated by gen_native_cfg.py at 2023-05-26 18:57:33.815121
-// on Darwin ol-mac-mini2-prague.cz.oracle.com 21.6.0 Darwin Kernel Version 21.6.0: Mon Apr 24 21:10:53 PDT 2023; root:xnu-8020.240.18.701.5~1/RELEASE_X86_64 x86_64 i386
+// Auto generated by gen_native_cfg.py at 2023-10-26 12:57:29.030972
+// on Darwin ol-mac-mini2-prague.cz.oracle.com 21.6.0 Darwin Kernel Version 21.6.0: Wed Oct  4 23:55:28 PDT 2023; root:xnu-8020.240.18.704.15~1/RELEASE_X86_64 x86_64 i386
 class PosixConstantsDarwin {
 
     private PosixConstantsDarwin() {
@@ -68,6 +68,7 @@ static void getConstants(PosixConstants.Registry constants) {
         constants.put("SEEK_HOLE", 3);
         constants.put("SOMAXCONN", 128);
         constants.put("PIPE_BUF", 512);
+        constants.put("SEM_VALUE_MAX", 32767);
         constants.put("O_ACCMODE", 0x00000003);
         constants.put("O_RDONLY", 0x00000000);
         constants.put("O_WRONLY", 0x00000001);
 
@@ -903,7 +903,7 @@ int64_t call_crypt(const char *word, const char *salt, int32_t *len) {
 
 int64_t call_sem_open(const char *name, int32_t openFlags, int32_t mode, int32_t value) {
     sem_t* result = sem_open(name, openFlags, mode, value);
-    if (result == SEM_FAILED) {
+    if (result == (sem_t*)SEM_FAILED) {
         return -1;
     }
     return (int64_t)(uintptr_t)result;
 
@@ -83,6 +83,7 @@
 # include <sys/utsname.h>
 # include <sys/wait.h>
 # include <sysexits.h>
+# include <semaphore.h>
 #else
 # include <winsock2.h>
 # include <ws2tcpip.h>
Original file line number	Diff line number	Diff line change
`@@ -225,10 +225,12 @@ static PNone release(VirtualFrame frame, PSemLock self,`
`225`	`225`	`}`
`226`	`226`	`} catch (UnsupportedPosixFeatureException e) {`
`227`	`227`	`/* We will only check properly the maxvalue == 1 case */`
`228`		`- if (posixLib.semTryWait(posixSupport, self.getHandle())) {`
`229`		`- /* it was not locked so undo wait and raise */`
`230`		`- posixLib.semPost(posixSupport, self.getHandle());`
`231`		`- throw raiseNode.get(inliningTarget).raise(ValueError, ErrorMessages.SEMAPHORE_RELEASED_TOO_MANY_TIMES);`
	`228`	`+ if (self.getMaxValue() == 1) {`
	`229`	`+ if (posixLib.semTryWait(posixSupport, self.getHandle())) {`
	`230`	`+ /* it was not locked so undo wait and raise */`
	`231`	`+ posixLib.semPost(posixSupport, self.getHandle());`
	`232`	`+ throw raiseNode.get(inliningTarget).raise(ValueError, ErrorMessages.SEMAPHORE_RELEASED_TOO_MANY_TIMES);`
	`233`	`+ }`
`232`	`234`	`}`
`233`	`235`	`}`
`234`	`236`	`} catch (PosixException e) {`
Original file line number	Diff line number	Diff line change
`@@ -903,7 +903,7 @@ int64_t call_crypt(const char word, const char salt, int32_t *len) {`
`903`	`903`
`904`	`904`	`int64_t call_sem_open(const char *name, int32_t openFlags, int32_t mode, int32_t value) {`
`905`	`905`	`sem_t* result = sem_open(name, openFlags, mode, value);`
`906`		`- if (result == SEM_FAILED) {`
	`906`	`+ if (result == (sem_t*)SEM_FAILED) {`
`907`	`907`	`return -1;`
`908`	`908`	`}`
`909`	`909`	`return (int64_t)(uintptr_t)result;`