git: 5e29272bf57e - main - syscalls.master: Fix SAL annotation for getdirentires basep argument
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 24 Sep 2023 22:40:29 UTC
The branch main has been updated by emaste:
URL: https://cgit.FreeBSD.org/src/commit/?id=5e29272bf57e24a16f3a17f037f9a5e7cf25ed90
commit 5e29272bf57e24a16f3a17f037f9a5e7cf25ed90
Author: Haoyu Gu <guhaoyu2005@gmail.com>
AuthorDate: 2023-09-24 22:34:43 +0000
Commit: Ed Maste <emaste@FreeBSD.org>
CommitDate: 2023-09-24 22:37:58 +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
---
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 {