MISRA C:2012 Permits. Deviation permits for MISRA Compliance

1 Introduction
	1.1 Scope
2 Introduction to the permits
3 Directive permits
4 Rule permits
	Permit / MISRA / C:2012 / R-2.1.A.1 A section of code is unreachable in a particular build configuration
	Permit / MISRA / C:2012 / R-2.1.B.1 A section of code is unreachable as a result of defensive coding measures
	Permit / MISRA / C:2012 / R-5.3.A.1 In automatically generated code, an identifier declared in an inner scope hides an identifier declared in an outer scope
	Permit / MISRA / C:2012 / R-6.1.A.1 In C90 code, bit-fields are defined with an integer type other than unsigned int or signed int
	Permit / MISRA / C:2012 / R-7.1.A.1 In automatically generated code, octal constants are used
	Permit / MISRA / C:2012 / R-7.2.A.1 In automatically generated code, integer constants that are represented in an unsigned type have no “u” or “U” suffix.
	Permit / MISRA / C:2012 / R-7.3.A.1 In automatically generated code, the lowercase character “l” is used in a literal suffix
	Permit / MISRA / C:2012 / R-8.4.A.1 In automatically generated code, there is no compatible declaration visible when an object or function with external linkage is defined
	Permit / MISRA / C:2012 / R-8.5.A.1 In automatically generated code, external objects or functions are declared more than once in one or more files
	Permit / MISRA / C:2012 / R-8.14.A.1 In automatically generated code, the restrict type qualifier is used
	Permit / MISRA / C:2012 / R-9.2.A.1 In automatically generated code, initializers for an aggregate or union are not enclosed in braces
	Permit / MISRA / C:2012 / R-9.3.A.1 In automatically generated code, an array is partially initialized
	Permit / MISRA / C:2012 / R-9.5.A.1 In automatically generated code, designated initializers are used to initialize an array object but the size of the array is not specified explicitly
	Permit / MISRA / C:2012 / R-10.1.A.1 In automatically generated code, operands are of an inappropriate essential type
	Permit / MISRA / C:2012 / R-10.3.A.1 In automatically generated code, the value of an expression is assigned to an object with a narrower essential type or of a different essential type category
	Permit / MISRA / C:2012 / R-10.4.A.1 In automatically generated code, operands of an operator in which the usual arithmetic conversions are performed have different essential type category
	Permit / MISRA / C:2012 / R-10.6.A.1 In automatically generated code, the value of a composite expression is assigned to an object with wider essential type
	Permit / MISRA / C:2012 / R-10.7.A.1 In automatically generated code, a composite expression is used as one operand of an operator in which the usual arithmetic conversions are performed and the other operand has wider essential type
	Permit / MISRA / C:2012 / R-10.8.A.1 In automatically generated code, the value of a composite expression is cast to a different essential type category or a wider essential type
	Permit / MISRA / C:2012 / R-11.9.A.1 In automatically generated code, an integer null pointer constant other than the macro NULL or (void *) 0 is used
	Permit / MISRA / C:2012 / R-14.2.A.1 In automatically generated code, a for-loop is not well-formed
	Permit / MISRA / C:2012 / R-14.3.A.1 The result of a logical operation is invariant in a particular build configuration
	Permit / MISRA / C:2012 / R-14.3.B.1 An invariant logical operation is present as a result of defensive coding measures
	Permit / MISRA / C:2012 / R-14.3.C.1 An invariant logical operation is introduced at system level as a result of interfacing to adopted code
	Permit / MISRA / C:2012 / R-15.7.A.1 In automatically generated code, an if … else if construct is not terminated with an else statement
	Permit / MISRA / C:2012 / R-16.1.A.1 In automatically generated code, a switch statement is not well-formed
	Permit / MISRA / C:2012 / R-16.3.A.1 In automatically generated code, a switch-clause is not terminated by an unconditional break statement
	Permit / MISRA / C:2012 / R-16.4.A.1 In automatically generated code, a switch statement has no default label.
	Permit / MISRA / C:2012 / R-16.5.A.1 In automatically generated code, the default label is neither the first nor the last switch label of a switch statement.
	Permit / MISRA / C:2012 / R-16.6.A.1 In automatically generated code, a switch statement has only one switch-clause
	Permit / MISRA / C:2012 / R-16.7.A.1 In automatically generated code, a switch-expression has essentially Boolean type
	Permit / MISRA / C:2012 / R-18.1.A.1 Arithmetic operations are performed on pointers that are used to address a region in memory which is not an array object
5 References
Appendix A Deviation permit summary