Hi Joseph,
Changes in v2:
- Document that null pointers are acceptable for [n].
See range-diff below.
Have a lovely day!
Alex
Alejandro Colomar (1):
gcc/doc/extend.texi: Document array parameters
gcc/doc/extend.texi | 57 +++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 57 insertions(+)
Range-diff against v1:
1: b209eb8ebf9a ! 1: da6178ae0a22 gcc/doc/extend.texi: Document array
parameters
@@ gcc/doc/extend.texi: including extensions for aggregate initializers for
objects
+void f (int n, int a[n]);
+@end smallexample
+
-+A caller must provide a pointer to at least @code{n} elements,
-+and the function must not access more than @code{n} elements.
++A caller must provide a pointer to at least @code{n} elements
++or a null pointer.
++
++The function must not access more than @code{n} elements,
++if it is a valid pointer.
+
+Type compatibility rules are also extended
+to take this length into account.
--
2.51.0