git: dd588b3c9a5a - stable/14 - syscalls.master: Fix SAL annotation for getdirentires basep argument
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 29 Sep 2023 12:27:01 UTC
The branch stable/14 has been updated by emaste:
URL: https://cgit.FreeBSD.org/src/commit/?id=dd588b3c9a5a2f2b2b62836ce70fd85813434748
commit dd588b3c9a5a2f2b2b62836ce70fd85813434748
Author: Haoyu Gu <guhaoyu2005@gmail.com>
AuthorDate: 2023-09-24 22:34:43 +0000
Commit: Ed Maste <emaste@FreeBSD.org>
CommitDate: 2023-09-29 12:26:00 +0000
syscalls.master: Fix SAL annotation for getdirentires basep argument
getdirentires last argument "off_t *basep" is an optional output
argument. It returns the value only when the passed-in value(pointer)
is non-NULL.
This is a part of the research work at RCSLab, University of Waterloo.
Reviewed by: imp, emaste
Differential Revision: https://reviews.freebsd.org/D41969
(cherry picked from commit 5e29272bf57e24a16f3a17f037f9a5e7cf25ed90)
---
sys/kern/syscalls.master | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/sys/kern/syscalls.master b/sys/kern/syscalls.master
index 69a669844629..f7c235ced26c 100644
--- a/sys/kern/syscalls.master
+++ b/sys/kern/syscalls.master
@@ -999,7 +999,7 @@
int fd,
_Out_writes_bytes_(count) char *buf,
u_int count,
- _Out_ long *basep
+ _Out_opt_ long *basep
);
}
157 AUE_STATFS COMPAT4 {
@@ -1185,7 +1185,7 @@
int fd,
_Out_writes_bytes_(count) char *buf,
u_int count,
- _Out_ long *basep
+ _Out_opt_ long *basep
);
}
197 AUE_MMAP COMPAT6|CAPENABLED {
@@ -3097,7 +3097,7 @@
int fd,
_Out_writes_bytes_(count) char *buf,
size_t count,
- _Out_ off_t *basep
+ _Out_opt_ off_t *basep
);
}
555 AUE_STATFS STD {