posix: pthread: fix zephyr_to_posix_priority assert test

ycsin · carlescufi · commit 66fdd39ec5de · 2024-01-18T10:54:47.000+01:00
If `z_prio` is negative and we want to make sure that it is
within `[-CONFIG_NUM_COOP_PRIORITIES, -1]`, we should invert
its sign and make sure that it is `&lt;=`
`CONFIG_NUM_COOP_PRIORITIES` instead of `&lt;`.

Signed-off-by: Yong Cong Sin &lt;ycsin@meta.com&gt;
diff --git a/lib/posix/pthread.c b/lib/posix/pthread.c
@@ -230,7 +230,7 @@ static bool is_posix_policy_prio_valid(uint32_t priority, int policy)
 static uint32_t zephyr_to_posix_priority(int32_t z_prio, int *policy)
 {
 	if (z_prio < 0) {
-		__ASSERT_NO_MSG(z_prio < CONFIG_NUM_COOP_PRIORITIES);
+		__ASSERT_NO_MSG(-z_prio <= CONFIG_NUM_COOP_PRIORITIES);
 	} else {
 		__ASSERT_NO_MSG(z_prio < CONFIG_NUM_PREEMPT_PRIORITIES);
 	}

Original file line number	Diff line number	Diff line change
`@@ -230,7 +230,7 @@ static bool is_posix_policy_prio_valid(uint32_t priority, int policy)`
`230`	`230`	`static uint32_t zephyr_to_posix_priority(int32_t z_prio, int *policy)`
`231`	`231`	`{`
`232`	`232`	`if (z_prio < 0) {`
`233`		`- __ASSERT_NO_MSG(z_prio < CONFIG_NUM_COOP_PRIORITIES);`
	`233`	`+ __ASSERT_NO_MSG(-z_prio <= CONFIG_NUM_COOP_PRIORITIES);`
`234`	`234`	`} else {`
`235`	`235`	`__ASSERT_NO_MSG(z_prio < CONFIG_NUM_PREEMPT_PRIORITIES);`
`236`	`236`	`}`