diff options
| author | Armelle Laine <armellel@google.com> | 2022-12-03 21:31:03 +0000 |
|---|---|---|
| committer | Armelle Laine <armellel@google.com> | 2022-12-06 20:05:42 +0000 |
| commit | 508e417dd7c877f86cc4a7193f1b431f46b800da (patch) | |
| tree | 86ce54353105732ffbcf2a804a7edec777eef7af /kernel | |
| parent | 24fbb2a00ce98623b2a4ecb5998e69ed428099a6 (diff) | |
| download | common-508e417dd7c877f86cc4a7193f1b431f46b800da.tar.gz | |
kernel: semaphore: assert signed overflow in function `sem_post`
Bug: 257835398
Change-Id: I183fd9d42be67dce83b462aa41b780fdb570ddd5
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/semaphore.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/semaphore.c b/kernel/semaphore.c index 51650e0a..72835a07 100644 --- a/kernel/semaphore.c +++ b/kernel/semaphore.c @@ -42,6 +42,7 @@ int sem_post(semaphore_t *sem, bool resched) * If the count is or was negative then a thread is waiting for a resource, otherwise * it's safe to just increase the count available with no downsides */ + assert(sem->count < INT_MAX); if (unlikely(++sem->count <= 0)) ret = wait_queue_wake_one(&sem->wait, resched, NO_ERROR); |