]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - share/man/man9/style.9
newbus: Move from bus_child_{pnpinfo,location}_src to bus_child_{pnpinfo,location...
[FreeBSD/FreeBSD.git] / share / man / man9 / style.9
1 .\"-
2 .\" Copyright (c) 1995-2019 The FreeBSD Project
3 .\"
4 .\" Redistribution and use in source and binary forms, with or without
5 .\" modification, are permitted provided that the following conditions
6 .\" are met:
7 .\" 1. Redistributions of source code must retain the above copyright
8 .\"    notice, this list of conditions and the following disclaimer.
9 .\" 2. Redistributions in binary form must reproduce the above copyright
10 .\"    notice, this list of conditions and the following disclaimer in the
11 .\"    documentation and/or other materials provided with the distribution.
12 .\"
13 .\" THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
14 .\" ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15 .\" IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
16 .\" ARE DISCLAIMED.  IN NO EVENT SHALL [your name] OR CONTRIBUTORS BE LIABLE
17 .\" FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
18 .\" DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
19 .\" OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
20 .\" HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
21 .\" LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
22 .\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
23 .\" SUCH DAMAGE.
24 .\"
25 .\"     From: @(#)style 1.14 (Berkeley) 4/28/95
26 .\" $FreeBSD$
27 .\"
28 .Dd October 28, 2020
29 .Dt STYLE 9
30 .Os
31 .Sh NAME
32 .Nm style
33 .Nd "kernel source file style guide"
34 .Sh DESCRIPTION
35 This file specifies the preferred style for kernel source files in the
36 .Fx
37 source tree.
38 It is also a guide for the preferred userland code style.
39 The preferred line width is 80 characters, but some exceptions are
40 made when a slightly longer line is clearer or easier to read.
41 Anything that is frequently grepped for, such as diagnostic, error or panic
42 messages, should not be broken up over multiple lines despite this rule.
43 Many of the style rules are implicit in the examples.
44 Be careful to check the examples before assuming that
45 .Nm
46 is silent on an issue.
47 .Bd -literal
48 /*
49  * Style guide for FreeBSD.  Based on the CSRG's KNF (Kernel Normal Form).
50  *
51  *      @(#)style       1.14 (Berkeley) 4/28/95
52  * $FreeBSD$
53  */
54
55 /*
56  * VERY important single-line comments look like this.
57  */
58
59 /* Most single-line comments look like this. */
60
61 /*
62  * Multi-line comments look like this.  Make them real sentences.  Fill
63  * them so they look like real paragraphs.
64  */
65 .Ed
66 .Pp
67 The copyright header should be a multi-line comment, with the first
68 line of the comment having a dash after the star like so:
69 .Bd -literal
70 /*-
71  * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
72  *
73  * Copyright (c) 1984-2025 John Q. Public
74  *
75  * Long, boring license goes here, but trimmed for brevity
76  */
77 .Ed
78 .Pp
79 An automatic script collects license information from the tree for
80 all comments that start in the first column with
81 .Dq Li "/*-" .
82 If you desire to flag
83 .Xr indent 1
84 to not reformat a comment that starts in the first column which is not a
85 license or copyright notice, change the dash to a star for those
86 comments.
87 Comments starting in columns other than the first are never
88 considered license statements.
89 Use the appropriate SPDX-License-Identifier line before the copyright.
90 If the copyright assertion contains the phrase
91 .Dq Li "All Rights Reserved"
92 that should be on the same line as the word
93 .Dq Li "Copyright" .
94 You should not insert a new copyright line between an old
95 copyright line and this phrase.
96 Instead, you should insert a new copyright phrase after
97 a pre-existing
98 .Dq Li "All Rights Reserved"
99 line.
100 When making changes, it is acceptable to fold an
101 .Dq Li "All Rights Reserved"
102 line with each of the
103 .Dq Li "Copyright"
104 lines.
105 For files that have the
106 .Dq Li "All Rights Reserved"
107 line on the same line(s) as the word
108 .Dq Li "Copyright" ,
109 new copyright assertions should be added last.
110 New
111 .Dq Li "Copyright"
112 lines should only be added when making substantial changes to the file,
113 not for trivial changes.
114 .Pp
115 After any copyright and license comment, there is a blank line.
116 If your code needs to be merged into stable/12 or earlier, it
117 needs to have the
118 .Li $\&FreeBSD$
119 tag.
120 Otherwise, this tag should be omitted in new code.
121 Legacy code will have the tag removed in the future.
122 For non C/C++ language source files,
123 .Li $\&FreeBSD$
124 is next, if applicable.
125 Non-C/C++ source files follow the example above, while C/C++ source files
126 follow the one below.
127 Version control system ID tags should only exist once in a file
128 (unlike in this one).
129 All VCS (version control system) revision identification in files obtained
130 from elsewhere should be maintained, including, where applicable, multiple IDs
131 showing a file's history.
132 In general, do not edit foreign IDs or their infrastructure.
133 Unless otherwise wrapped (such as
134 .Dq Li "#if defined(LIBC_SCCS)" ) ,
135 enclose both in
136 .Dq Li "#if 0 ... #endif"
137 to hide any uncompilable bits
138 and to keep the IDs out of object files.
139 Only add
140 .Dq Li "From: "
141 in front of foreign VCS IDs if the file is renamed.
142 Add
143 .Dq Li "From: "
144 and FreeBSD git hash with full path name if the file was derived
145 from another FreeBSD file and include relevant copyright info
146 from the original file.
147 .Bd -literal
148 /* From: @(#)style      1.14 (Berkeley) 4/28/95 */
149
150 #include <sys/cdefs.h>
151 __FBSDID("$FreeBSD$");
152 .Ed
153 .Pp
154 Leave one blank line before the header files.
155 .Pp
156 Kernel include files
157 .Pa ( sys/*.h )
158 come first.
159 If
160 .In sys/cdefs.h
161 is needed for
162 .Fn __FBSDID ,
163 include it first.
164 If either
165 .In sys/types.h
166 or
167 .In sys/param.h
168 is needed, include it before other include files.
169 .Po
170 .In sys/param.h
171 includes
172 .In sys/types.h ;
173 do not include both.
174 .Pc
175 Next, include
176 .In sys/systm.h ,
177 if needed.
178 The remaining kernel headers should be sorted alphabetically.
179 .Bd -literal
180 #include <sys/types.h>  /* Non-local includes in angle brackets. */
181 #include <sys/systm.h>
182 #include <sys/endian.h>
183 #include <sys/lock.h>
184 #include <sys/queue.h>
185 .Ed
186 .Pp
187 For a network program, put the network include files next.
188 .Bd -literal
189 #include <net/if.h>
190 #include <net/if_dl.h>
191 #include <net/route.h>
192 #include <netinet/in.h>
193 #include <protocols/rwhod.h>
194 .Ed
195 .Pp
196 Do not include files from
197 .Pa /usr/include
198 in the kernel.
199 .Pp
200 Leave a blank line before the next group, the
201 .Pa /usr/include
202 files,
203 which should be sorted alphabetically by name.
204 .Bd -literal
205 #include <stdio.h>
206 .Ed
207 .Pp
208 Global pathnames are defined in
209 .In paths.h .
210 Pathnames local
211 to the program go in
212 .Qq Pa pathnames.h
213 in the local directory.
214 .Bd -literal
215 #include <paths.h>
216 .Ed
217 .Pp
218 Leave another blank line before the local include files.
219 .Bd -literal
220 #include "pathnames.h"          /* Local includes in double quotes. */
221 .Ed
222 .Pp
223 Do not
224 .Ic #define
225 or declare names in the implementation namespace except
226 for implementing application interfaces.
227 .Pp
228 The names of
229 .Dq unsafe
230 macros (ones that have side effects), and the names of macros for
231 manifest constants, are all in uppercase.
232 The expansions of expression-like macros are either a single token
233 or have outer parentheses.
234 Put a single space or tab character between the
235 .Ic #define
236 and the macro name, but be consistent within a file.
237 If a macro is an inline expansion of a function, the function name is
238 all in lowercase and the macro has the same name all in uppercase.
239 .\" XXX the above conflicts with ANSI style where the names are the
240 .\" same and you #undef the macro (if any) to get the function.
241 .\" It is not followed for MALLOC(), and not very common if inline
242 .\" functions are used.
243 Right-justify the
244 backslashes; it makes it easier to read.
245 If the macro encapsulates a compound statement, enclose it in a
246 .Ic do
247 loop,
248 so that it can safely be used in
249 .Ic if
250 statements.
251 Any final statement-terminating semicolon should be
252 supplied by the macro invocation rather than the macro, to make parsing easier
253 for pretty-printers and editors.
254 .Bd -literal
255 #define MACRO(x, y) do {                                                \e
256         variable = (x) + (y);                                           \e
257         (y) += 2;                                                       \e
258 } while (0)
259 .Ed
260 .Pp
261 When code is conditionally compiled using
262 .Ic #ifdef
263 or
264 .Ic #if ,
265 a comment may be added following the matching
266 .Ic #endif
267 or
268 .Ic #else
269 to permit the reader to easily discern where conditionally compiled code
270 regions end.
271 This comment should be used only for (subjectively) long regions, regions
272 greater than 20 lines, or where a series of nested
273 .Ic #ifdef 's
274 may be confusing to the reader.
275 The comment should be separated from the
276 .Ic #endif
277 or
278 .Ic #else
279 by a single space.
280 For short conditionally compiled regions, a closing comment should not be
281 used.
282 .Pp
283 The comment for
284 .Ic #endif
285 should match the expression used in the corresponding
286 .Ic #if
287 or
288 .Ic #ifdef .
289 The comment for
290 .Ic #else
291 and
292 .Ic #elif
293 should match the inverse of the expression(s) used in the preceding
294 .Ic #if
295 and/or
296 .Ic #elif
297 statements.
298 In the comments, the subexpression
299 .Dq Li defined(FOO)
300 is abbreviated as
301 .Dq Li FOO .
302 For the purposes of comments,
303 .Dq Ic #ifndef Li FOO
304 is treated as
305 .Dq Ic #if Li !defined(FOO) .
306 .Bd -literal
307 #ifdef KTRACE
308 #include <sys/ktrace.h>
309 #endif
310
311 #ifdef COMPAT_43
312 /* A large region here, or other conditional code. */
313 #else /* !COMPAT_43 */
314 /* Or here. */
315 #endif /* COMPAT_43 */
316
317 #ifndef COMPAT_43
318 /* Yet another large region here, or other conditional code. */
319 #else /* COMPAT_43 */
320 /* Or here. */
321 #endif /* !COMPAT_43 */
322 .Ed
323 .Pp
324 The project prefers the use of
325 .St -isoC-99
326 unsigned integer identifiers of the form
327 .Vt uintXX_t
328 rather than the older
329 .Bx Ns -style
330 integer identifiers of the form
331 .Vt u_intXX_t .
332 New code should use the former, and old code should be converted to
333 the new form if other major work is being done in that area and
334 there is no overriding reason to prefer the older
335 .Bx Ns -style .
336 Like white-space commits, care should be taken in making
337 .Vt uintXX_t
338 only commits.
339 .Pp
340 Similarly, the project prefers the use of
341 ISO C99
342 .Vt bool
343 rather than the older
344 .Vt int
345 or
346 .Vt boolean_t .
347 New code should use
348 .Vt bool ,
349 and old code may be converted if it is
350 reasonable to do so.
351 Literal values are named
352 .Dv true
353 and
354 .Dv false .
355 These are preferred to the old spellings
356 .Dv TRUE
357 and
358 .Dv FALSE .
359 Userspace code should include
360 .In stdbool.h ,
361 while kernel code should include
362 .In sys/types.h .
363 .Pp
364 Likewise, the project prefers
365 ISO C99
366 designated initializers when it makes sense to do so.
367 .Pp
368 Enumeration values are all uppercase.
369 .Bd -literal
370 enum enumtype { ONE, TWO } et;
371 .Ed
372 .Pp
373 The use of internal_underscores in identifiers is preferred over
374 camelCase or TitleCase.
375 .Pp
376 In declarations, do not put any whitespace between asterisks and
377 adjacent tokens, except for tokens that are identifiers related to
378 types.
379 (These identifiers are the names of basic types, type
380 qualifiers, and
381 .Ic typedef Ns -names
382 other than the one being declared.)
383 Separate these identifiers from asterisks using a single space.
384 .Pp
385 When declaring variables in structures, declare them sorted by use, then
386 by size (largest to smallest), and then in alphabetical order.
387 The first category normally does not apply, but there are exceptions.
388 Each one gets its own line.
389 Try to make the structure
390 readable by aligning the member names using either one or two tabs
391 depending upon your judgment.
392 You should use one tab only if it suffices to align at least 90% of
393 the member names.
394 Names following extremely long types
395 should be separated by a single space.
396 .Pp
397 Major structures should be declared at the top of the file in which they
398 are used, or in separate header files if they are used in multiple
399 source files.
400 Use of the structures should be by separate declarations
401 and should be
402 .Ic extern
403 if they are declared in a header file.
404 .Bd -literal
405 struct foo {
406         struct foo      *next;          /* List of active foo. */
407         struct mumble   amumble;        /* Comment for mumble. */
408         int             bar;            /* Try to align the comments. */
409         struct verylongtypename *baz;   /* Does not fit in 2 tabs. */
410 };
411 struct foo *foohead;                    /* Head of global foo list. */
412 .Ed
413 .Pp
414 Use
415 .Xr queue 3
416 macros rather than rolling your own lists, whenever possible.
417 Thus,
418 the previous example would be better written:
419 .Bd -literal
420 #include <sys/queue.h>
421
422 struct foo {
423         LIST_ENTRY(foo) link;           /* Use queue macros for foo lists. */
424         struct mumble   amumble;        /* Comment for mumble. */
425         int             bar;            /* Try to align the comments. */
426         struct verylongtypename *baz;   /* Does not fit in 2 tabs. */
427 };
428 LIST_HEAD(, foo) foohead;               /* Head of global foo list. */
429 .Ed
430 .Pp
431 Avoid using typedefs for structure types.
432 Typedefs are problematic because they do not properly hide their
433 underlying type; for example you need to know if the typedef is
434 the structure itself or a pointer to the structure.
435 In addition they must be declared exactly once, whereas an
436 incomplete structure type can be mentioned as many times as
437 necessary.
438 Typedefs are difficult to use in stand-alone header files:
439 the header that defines the typedef must be included
440 before the header that uses it, or by the header that uses
441 it (which causes namespace pollution), or there must be a
442 back-door mechanism for obtaining the typedef.
443 .Pp
444 When convention requires a
445 .Ic typedef ,
446 make its name match the struct tag.
447 Avoid typedefs ending in
448 .Dq Li _t ,
449 except as specified in Standard C or by POSIX.
450 .Bd -literal
451 /* Make the structure name match the typedef. */
452 typedef struct bar {
453         int     level;
454 } BAR;
455 typedef int             foo;            /* This is foo. */
456 typedef const long      baz;            /* This is baz. */
457 .Ed
458 .Pp
459 All functions are prototyped somewhere.
460 .Pp
461 Function prototypes for private functions (i.e., functions not used
462 elsewhere) go at the top of the first source module.
463 Functions
464 local to one source module should be declared
465 .Ic static .
466 .Pp
467 Functions used from other parts of the kernel are prototyped in the
468 relevant include file.
469 Function prototypes should be listed in a logical order, preferably
470 alphabetical unless there is a compelling reason to use a different
471 ordering.
472 .Pp
473 Functions that are used locally in more than one module go into a
474 separate header file, e.g.,
475 .Qq Pa extern.h .
476 .Pp
477 Do not use the
478 .Dv __P
479 macro.
480 .Pp
481 In general code can be considered
482 .Dq "new code"
483 when it makes up about 50% or more of the file(s) involved.
484 This is enough
485 to break precedents in the existing code and use the current
486 .Nm
487 guidelines.
488 .Pp
489 The kernel has a name associated with parameter types, e.g., in the kernel
490 use:
491 .Bd -literal
492 void    function(int fd);
493 .Ed
494 .Pp
495 In header files visible to userland applications, prototypes that are
496 visible must use either
497 .Dq protected
498 names (ones beginning with an underscore)
499 or no names with the types.
500 It is preferable to use protected names.
501 E.g., use:
502 .Bd -literal
503 void    function(int);
504 .Ed
505 .Pp
506 or:
507 .Bd -literal
508 void    function(int _fd);
509 .Ed
510 .Pp
511 Prototypes may have an extra space after a tab to enable function names
512 to line up:
513 .Bd -literal
514 static char     *function(int _arg, const char *_arg2, struct foo *_arg3,
515                     struct bar *_arg4);
516 static void      usage(void);
517
518 /*
519  * All major routines should have a comment briefly describing what
520  * they do.  The comment before the "main" routine should describe
521  * what the program does.
522  */
523 int
524 main(int argc, char *argv[])
525 {
526         char *ep;
527         long num;
528         int ch;
529 .Ed
530 .Pp
531 For consistency,
532 .Xr getopt 3
533 should be used to parse options.
534 Options
535 should be sorted in the
536 .Xr getopt 3
537 call and the
538 .Ic switch
539 statement, unless
540 parts of the
541 .Ic switch
542 cascade.
543 Elements in a
544 .Ic switch
545 statement that cascade should have a
546 .Li FALLTHROUGH
547 comment.
548 Numerical arguments should be checked for accuracy.
549 Code which is unreachable for non-obvious reasons may be marked /*
550 .Li NOTREACHED
551 */.
552 .Bd -literal
553         while ((ch = getopt(argc, argv, "abNn:")) != -1)
554                 switch (ch) {           /* Indent the switch. */
555                 case 'a':               /* Do not indent the case. */
556                         aflag = 1;      /* Indent case body one tab. */
557                         /* FALLTHROUGH */
558                 case 'b':
559                         bflag = 1;
560                         break;
561                 case 'N':
562                         Nflag = 1;
563                         break;
564                 case 'n':
565                         num = strtol(optarg, &ep, 10);
566                         if (num <= 0 || *ep != '\e0') {
567                                 warnx("illegal number, -n argument -- %s",
568                                     optarg);
569                                 usage();
570                         }
571                         break;
572                 case '?':
573                 default:
574                         usage();
575                 }
576         argc -= optind;
577         argv += optind;
578 .Ed
579 .Pp
580 Space after keywords
581 .Pq Ic if , while , for , return , switch .
582 Two styles of braces
583 .Ql ( \&{
584 and
585 .Ql \&} )
586 are allowed for single line statements.
587 Either they are used for all single statements, or
588 they are used only where needed for clarity.
589 Usage within a function should be consistent.
590 Forever loops are done with
591 .Ic for Ns 's ,
592 not
593 .Ic while Ns 's .
594 .Bd -literal
595         for (p = buf; *p != '\e0'; ++p)
596                 ;       /* nothing */
597         for (;;)
598                 stmt;
599         for (;;) {
600                 z = a + really + long + statement + that + needs +
601                     two + lines + gets + indented + four + spaces +
602                     on + the + second + and + subsequent + lines;
603         }
604         for (;;) {
605                 if (cond)
606                         stmt;
607         }
608         if (val != NULL)
609                 val = realloc(val, newsize);
610 .Ed
611 .Pp
612 Parts of a
613 .Ic for
614 loop may be left empty.
615 .Bd -literal
616         for (; cnt < 15; cnt++) {
617                 stmt1;
618                 stmt2;
619         }
620 .Ed
621 .Pp
622 A
623 .Ic for
624 loop may declare and initialize its counting variable.
625 .Bd -literal
626         for (int i = 0; i < 15; i++) {
627                 stmt1;
628         }
629 .Ed
630 .Pp
631 Indentation is an 8 character tab.
632 Second level indents are four spaces.
633 If you have to wrap a long statement, put the operator at the end of the
634 line.
635 .Bd -literal
636         while (cnt < 20 && this_variable_name_is_too_long &&
637             ep != NULL)
638                 z = a + really + long + statement + that + needs +
639                     two + lines + gets + indented + four + spaces +
640                     on + the + second + and + subsequent + lines;
641 .Ed
642 .Pp
643 Do not add whitespace at the end of a line, and only use tabs
644 followed by spaces
645 to form the indentation.
646 Do not use more spaces than a tab will produce
647 and do not use spaces in front of tabs.
648 .Pp
649 Closing and opening braces go on the same line as the
650 .Ic else .
651 Braces that are not necessary may be left out.
652 .Bd -literal
653         if (test)
654                 stmt;
655         else if (bar) {
656                 stmt;
657                 stmt;
658         } else
659                 stmt;
660 .Ed
661 .Pp
662 No spaces after function names.
663 Commas have a space after them.
664 No spaces
665 after
666 .Ql \&(
667 or
668 .Ql \&[
669 or preceding
670 .Ql \&]
671 or
672 .Ql \&)
673 characters.
674 .Bd -literal
675         error = function(a1, a2);
676         if (error != 0)
677                 exit(error);
678 .Ed
679 .Pp
680 Unary operators do not require spaces, binary operators do.
681 Do not use parentheses unless they are required for precedence or unless the
682 statement is confusing without them.
683 Remember that other people may
684 confuse easier than you.
685 Do YOU understand the following?
686 .Bd -literal
687         a = b->c[0] + ~d == (e || f) || g && h ? i : j >> 1;
688         k = !(l & FLAGS);
689 .Ed
690 .Pp
691 Exits should be 0 on success, or 1 on failure.
692 .Bd -literal
693         exit(0);        /*
694                          * Avoid obvious comments such as
695                          * "Exit 0 on success."
696                          */
697 }
698 .Ed
699 .Pp
700 The function type should be on a line by itself
701 preceding the function.
702 The opening brace of the function body should be
703 on a line by itself.
704 .Bd -literal
705 static char *
706 function(int a1, int a2, float fl, int a4, struct bar *bar)
707 {
708 .Ed
709 .Pp
710 When declaring variables in functions declare them sorted by size,
711 then in alphabetical order; multiple ones per line are okay.
712 If a line overflows reuse the type keyword.
713 Variables may be initialized where declared especially when they
714 are constant for the rest of the scope.
715 Declarations may be placed before executable lines at the start
716 of any block.
717 Calls to complicated functions should be avoided when initializing variables.
718 .Bd -literal
719         struct foo one, *two;
720         struct baz *three = bar_get_baz(bar);
721         double four;
722         int *five, six;
723         char *seven, eight, nine, ten, eleven, twelve;
724
725         four = my_complicated_function(a1, f1, a4);
726 .Ed
727 .Pp
728 Do not declare functions inside other functions; ANSI C says that
729 such declarations have file scope regardless of the nesting of the
730 declaration.
731 Hiding file declarations in what appears to be a local
732 scope is undesirable and will elicit complaints from a good compiler.
733 .Pp
734 Casts and
735 .Ic sizeof Ns 's
736 are not followed by a space.
737 Note that
738 .Xr indent 1
739 does not understand this rule.
740 .Ic sizeof Ns 's
741 are written with parenthesis always.
742 The redundant parenthesis rules do not apply to
743 .Fn sizeof var
744 instances.
745 .Pp
746 .Dv NULL
747 is the preferred null pointer constant.
748 Use
749 .Dv NULL
750 instead of
751 .Vt ( "type *" ) Ns 0
752 or
753 .Vt ( "type *" ) Ns Dv NULL
754 in contexts where the compiler knows the
755 type, e.g., in assignments.
756 Use
757 .Vt ( "type *" ) Ns Dv NULL
758 in other contexts,
759 in particular for all function args.
760 (Casting is essential for
761 variadic args and is necessary for other args if the function prototype
762 might not be in scope.)
763 Test pointers against
764 .Dv NULL ,
765 e.g., use:
766 .Bd -literal
767 (p = f()) == NULL
768 .Ed
769 .Pp
770 not:
771 .Bd -literal
772 !(p = f())
773 .Ed
774 .Pp
775 Do not use
776 .Ic \&!
777 for tests unless it is a boolean, e.g., use:
778 .Bd -literal
779 if (*p == '\e0')
780 .Ed
781 .Pp
782 not:
783 .Bd -literal
784 if (!*p)
785 .Ed
786 .Pp
787 Routines returning
788 .Vt "void *"
789 should not have their return values cast
790 to any pointer type.
791 .Pp
792 Values in
793 .Ic return
794 statements should be enclosed in parentheses.
795 .Pp
796 Use
797 .Xr err 3
798 or
799 .Xr warn 3 ,
800 do not roll your own.
801 .Bd -literal
802         if ((four = malloc(sizeof(struct foo))) == NULL)
803                 err(1, (char *)NULL);
804         if ((six = (int *)overflow()) == NULL)
805                 errx(1, "number overflowed");
806         return (eight);
807 }
808 .Ed
809 .Pp
810 When converting K&R style declarations to ANSI style, preserve
811 any comments about parameters.
812 .Pp
813 Long parameter lists are wrapped with a normal four space indent.
814 .Pp
815 Variable numbers of arguments should look like this:
816 .Bd -literal
817 #include <stdarg.h>
818
819 void
820 vaf(const char *fmt, ...)
821 {
822         va_list ap;
823
824         va_start(ap, fmt);
825         STUFF;
826         va_end(ap);
827         /* No return needed for void functions. */
828 }
829
830 static void
831 usage(void)
832 {
833         /* Optional blank line goes here. */
834 .Ed
835 .Pp
836 Optionally, insert a blank line at the beginning of functions with no local
837 variables.
838 Older versions of this
839 .Nm
840 document required the blank line convention, so it is widely used in existing
841 code.
842 .Pp
843 Do not insert a blank line at the beginning of functions with local variables.
844 Instead, these should have local variable declarations first, followed by one
845 blank line, followed by the first statement.
846 .Pp
847 Use
848 .Xr printf 3 ,
849 not
850 .Xr fputs 3 ,
851 .Xr puts 3 ,
852 .Xr putchar 3 ,
853 whatever; it is faster and usually cleaner, not
854 to mention avoiding stupid bugs.
855 .Pp
856 Usage statements should look like the manual pages
857 .Sx SYNOPSIS .
858 The usage statement should be structured in the following order:
859 .Bl -enum
860 .It
861 Options without operands come first,
862 in alphabetical order,
863 inside a single set of brackets
864 .Ql ( \&[
865 and
866 .Ql \&] ) .
867 .It
868 Options with operands come next,
869 also in alphabetical order,
870 with each option and its argument inside its own pair of brackets.
871 .It
872 Required arguments
873 (if any)
874 are next,
875 listed in the order they should be specified on the command line.
876 .It
877 Finally,
878 any optional arguments should be listed,
879 listed in the order they should be specified,
880 and all inside brackets.
881 .El
882 .Pp
883 A bar
884 .Pq Ql \&|
885 separates
886 .Dq either-or
887 options/arguments,
888 and multiple options/arguments which are specified together are
889 placed in a single set of brackets.
890 .Bd -literal -offset 4n
891 "usage: f [-aDde] [-b b_arg] [-m m_arg] req1 req2 [opt1 [opt2]]\en"
892 "usage: f [-a | -b] [-c [-dEe] [-n number]]\en"
893 .Ed
894 .Bd -literal
895         (void)fprintf(stderr, "usage: f [-ab]\en");
896         exit(1);
897 }
898 .Ed
899 .Pp
900 Note that the manual page options description should list the options in
901 pure alphabetical order.
902 That is, without regard to whether an option takes arguments or not.
903 The alphabetical ordering should take into account the case ordering
904 shown above.
905 .Pp
906 New core kernel code should be reasonably compliant with the
907 .Nm
908 guides.
909 The guidelines for third-party maintained modules and device drivers are more
910 relaxed but at a minimum should be internally consistent with their style.
911 .Pp
912 Stylistic changes (including whitespace changes) are hard on the source
913 repository and are to be avoided without good reason.
914 Code that is approximately
915 .Fx
916 KNF
917 .Nm
918 compliant in the repository must not diverge from compliance.
919 .Pp
920 Whenever possible, code should be run through a code checker
921 (e.g., various static analyzers or
922 .Nm cc Fl Wall )
923 and produce minimal warnings.
924 .Pp
925 New code should use
926 .Fn _Static_assert
927 instead of the older
928 .Fn CTASSERT .
929 .Sh FILES
930 .Bl -tag -width indent
931 .It Pa /usr/src/tools/tools/editing/freebsd.el
932 An Emacs plugin to follow the
933 .Fx
934 .Nm
935 indentation rules.
936 .It Pa /usr/src/tools/tools/editing/freebsd.vim
937 A Vim plugin to follow the
938 .Fx
939 .Nm
940 indentation rules.
941 .El
942 .Sh SEE ALSO
943 .Xr indent 1 ,
944 .Xr err 3 ,
945 .Xr warn 3 ,
946 .Xr style.Makefile 5 ,
947 .Xr style.mdoc 5 ,
948 .Xr style.lua 9
949 .Sh HISTORY
950 This manual page is largely based on the
951 .Pa src/admin/style/style
952 file from the
953 .Bx 4.4 Lite2
954 release, with occasional updates to reflect the current practice and
955 desire of the
956 .Fx
957 project.
958 .Pa src/admin/style/style
959 is a codification by the CSRG of the programming style of Ken Thompson and
960 Dennis Ritchie in
961 .At v6 .