manual: document <strz> and <formatstr>
This commit is contained in:
parent
a1fafa7f06
commit
05aa400b68
|
@ -765,6 +765,12 @@ Checking test.c...
|
||||||
<arg nr="2">
|
<arg nr="2">
|
||||||
<not-uninit/>
|
<not-uninit/>
|
||||||
</arg>
|
</arg>
|
||||||
|
<arg nr="3">
|
||||||
|
<strz/>
|
||||||
|
</arg>
|
||||||
|
<arg nr="4">
|
||||||
|
<formatstr/>
|
||||||
|
</arg>
|
||||||
</function>
|
</function>
|
||||||
</def></programlisting>
|
</def></programlisting>
|
||||||
|
|
||||||
|
@ -789,10 +795,10 @@ Checking test.c...
|
||||||
The <literal><arg></literal> is used to validate arguments. If it's
|
The <literal><arg></literal> is used to validate arguments. If it's
|
||||||
invalid to pass NULL, use <literal><not-null></literal>. If it's
|
invalid to pass NULL, use <literal><not-null></literal>. If it's
|
||||||
invalid to pass uninitialized data, use
|
invalid to pass uninitialized data, use
|
||||||
<literal><not-uninit></literal>. If the function takes a pointer
|
<literal><not-uninit></literal>. If the argument is a
|
||||||
argument then it is always invalid to pass a uninitialized/dead pointer.
|
zero-terminated string, use <literal><strz></literal>. If the
|
||||||
The <literal><not-uninit></literal> will then mean that the data
|
argument is a formatstring, use
|
||||||
that the pointer points at must be initialized.</para>
|
<literal><formatstr></literal>.</para>
|
||||||
|
|
||||||
<section>
|
<section>
|
||||||
<title>Example: strcpy()</title>
|
<title>Example: strcpy()</title>
|
||||||
|
|
Loading…
Reference in New Issue