block/cloop: refuse images with bogus offsets (CVE-2014-0144)
[qemu.git] / CODING_STYLE
blob4280945ff021d35f54d0a9b8c0214372c8fa8655
1 QEMU Coding Style
2 =================
4 Please use the script checkpatch.pl in the scripts directory to check
5 patches before submitting.
7 1. Whitespace
9 Of course, the most important aspect in any coding style is whitespace.
10 Crusty old coders who have trouble spotting the glasses on their noses
11 can tell the difference between a tab and eight spaces from a distance
12 of approximately fifteen parsecs.  Many a flamewar have been fought and
13 lost on this issue.
15 QEMU indents are four spaces.  Tabs are never used, except in Makefiles
16 where they have been irreversibly coded into the syntax.
17 Spaces of course are superior to tabs because:
19  - You have just one way to specify whitespace, not two.  Ambiguity breeds
20    mistakes.
21  - The confusion surrounding 'use tabs to indent, spaces to justify' is gone.
22  - Tab indents push your code to the right, making your screen seriously
23    unbalanced.
24  - Tabs will be rendered incorrectly on editors who are misconfigured not
25    to use tab stops of eight positions.
26  - Tabs are rendered badly in patches, causing off-by-one errors in almost
27    every line.
28  - It is the QEMU coding style.
30 Do not leave whitespace dangling off the ends of lines.
32 2. Line width
34 Lines are 80 characters; not longer.
36 Rationale:
37  - Some people like to tile their 24" screens with a 6x4 matrix of 80x24
38    xterms and use vi in all of them.  The best way to punish them is to
39    let them keep doing it.
40  - Code and especially patches is much more readable if limited to a sane
41    line length.  Eighty is traditional.
42  - It is the QEMU coding style.
44 3. Naming
46 Variables are lower_case_with_underscores; easy to type and read.  Structured
47 type names are in CamelCase; harder to type but standing out.  Enum type
48 names and function type names should also be in CamelCase.  Scalar type
49 names are lower_case_with_underscores_ending_with_a_t, like the POSIX
50 uint64_t and family.  Note that this last convention contradicts POSIX
51 and is therefore likely to be changed.
53 When wrapping standard library functions, use the prefix qemu_ to alert
54 readers that they are seeing a wrapped version; otherwise avoid this prefix.
56 4. Block structure
58 Every indented statement is braced; even if the block contains just one
59 statement.  The opening brace is on the line that contains the control
60 flow statement that introduces the new block; the closing brace is on the
61 same line as the else keyword, or on a line by itself if there is no else
62 keyword.  Example:
64     if (a == 5) {
65         printf("a was 5.\n");
66     } else if (a == 6) {
67         printf("a was 6.\n");
68     } else {
69         printf("a was something else entirely.\n");
70     }
72 Note that 'else if' is considered a single statement; otherwise a long if/
73 else if/else if/.../else sequence would need an indent for every else
74 statement.
76 An exception is the opening brace for a function; for reasons of tradition
77 and clarity it comes on a line by itself:
79     void a_function(void)
80     {
81         do_something();
82     }
84 Rationale: a consistent (except for functions...) bracing style reduces
85 ambiguity and avoids needless churn when lines are added or removed.
86 Furthermore, it is the QEMU coding style.
88 5. Declarations
90 Mixed declarations (interleaving statements and declarations within blocks)
91 are not allowed; declarations should be at the beginning of blocks.  In other
92 words, the code should not generate warnings if using GCC's
93 -Wdeclaration-after-statement option.