From 05aa400b6887c96654a1fae5adf66da3b9af75f7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Tue, 23 Jul 2013 07:18:00 +0200 Subject: [PATCH] manual: document and --- man/manual.docbook | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/man/manual.docbook b/man/manual.docbook index 526be4f1b..d863b2332 100644 --- a/man/manual.docbook +++ b/man/manual.docbook @@ -765,6 +765,12 @@ Checking test.c... <arg nr="2"> <not-uninit/> </arg> + <arg nr="3"> + <strz/> + </arg> + <arg nr="4"> + <formatstr/> + </arg> </function> </def> @@ -789,10 +795,10 @@ Checking test.c... The <arg> is used to validate arguments. If it's invalid to pass NULL, use <not-null>. If it's invalid to pass uninitialized data, use - <not-uninit>. If the function takes a pointer - argument then it is always invalid to pass a uninitialized/dead pointer. - The <not-uninit> will then mean that the data - that the pointer points at must be initialized. + <not-uninit>. If the argument is a + zero-terminated string, use <strz>. If the + argument is a formatstring, use + <formatstr>.
Example: strcpy()