Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 24 Sep 2023 22:40:29 GMT
From:      Ed Maste <emaste@FreeBSD.org>
To:        src-committers@FreeBSD.org, dev-commits-src-all@FreeBSD.org, dev-commits-src-main@FreeBSD.org
Subject:   git: 5e29272bf57e - main - syscalls.master: Fix SAL annotation for getdirentires basep argument
Message-ID:  <202309242240.38OMeTR4022269@gitrepo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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 {



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202309242240.38OMeTR4022269>