aboutsummaryrefslogtreecommitdiffstats
path: root/demos/STM32/RT-STM32F407-DISCOVERY/pclint/au-misra3.lnt
diff options
context:
space:
mode:
Diffstat (limited to 'demos/STM32/RT-STM32F407-DISCOVERY/pclint/au-misra3.lnt')
-rw-r--r--demos/STM32/RT-STM32F407-DISCOVERY/pclint/au-misra3.lnt2173
1 files changed, 0 insertions, 2173 deletions
diff --git a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/au-misra3.lnt b/demos/STM32/RT-STM32F407-DISCOVERY/pclint/au-misra3.lnt
deleted file mode 100644
index c20ded95e..000000000
--- a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/au-misra3.lnt
+++ /dev/null
@@ -1,2173 +0,0 @@
-/* Date Stamp */ -d"_lint_au_misra3_lnt=au-misra3.lnt modified 12-Jun-2014"
-/* To document usage use: -message( "Using " _lint_au_misra3_lnt ) */
-
-// ---------------------------------------------------------------------
-// This file is provided by Gimpel Software (www.gimpel.com) for use with
-// its products PC-lint and FlexeLint.
-//
-// Redistribution and use of this file, with or without modification, is
-// permitted provided that any such redistribution retains this notice.
-// ---------------------------------------------------------------------
-
-// au-misra3.lnt -- Author options - MISRA C 2012
-
-/*
- This options file can be used to explicitly activate those
- checks advocated by the Motor Industry Software Reliability
- Association.
-
- You can use this file directly when linting your programs as in:
-
- lin au-misra3 files
-
- Gimpel Software relies on the document, "MISRA-C:2012
- Guidelines for the use of the C language in critical systems",
- copyright 2012 by MIRA Limited, as the primary source for this
- file. Gimpel Software makes no warranty as to the completeness
- or applicability of this options file and reserves the right to
- amend or alter the official contents of such at any time.
-
- "MISRA" is a registered trademark of MIRA Limited, held on
- behalf of the MISRA Consortium.
-
- */
- -misra(3) // Activate MISRA Essential Type model
-
-/**** Dir 1.1 (Req) ************/
-
- /* not statically checkable */
-
-/**** Dir 2.1 (Req) ************/
-
- -A(C99) /* strict ISO C99 */
- /* Note: if you code to the C90 standard instead, you may
- want to comment out the above option and uncomment the
- following option. You will also want to do likewise for
- other uses of the '-A(C99)' option throughout this file. */
- // -A(C90) /* strict ANSI */
- +e950 /* flag non-standard word or construct */
- +elib(950)
- -append(950,[MISRA 2012 Directive 2.1, required])
-
-/**** Dir 3.1 (Req) ************/
-
- /* not statically checkable */
-
-/**** Dir 4.1 (Req) ************/
-
- /* not statically checkable */
-
-/**** Dir 4.2 (Adv) ************/
-
- /* not statically checkable */
-
-/**** Dir 4.3 (Req) ************/
-
- +e586 /* to activate the deprecation message */
- +elib(586)
- -deprecate(keyword,asm,[MISRA 2012 4.3, required])
-
-/**** Dir 4.4 (Adv) ************/
-
- /* This requirement (that there be no commented-out code) is, in
- principle, not statically checkable. The reason given for the
- requirement is that comments do not nest. Thus a commented
- out section of code that happens to use slash-star commenting
- could inadvertently introduce unwanted code. Rule 3.1, however,
- addresses the nested comment issue and hence the major concern
- that this requirement seeks to address is indeed checkable.
- */
- -fnc /* flag nested comments */
- +e602 /* comment within comment */
- +elib(602)
- -append(602,[MISRA 2012 Directive 4.4, advisory])
-
-/**** Dir 4.5 (Adv) ************/
-
- // While Lint can enforce this directive with the following four
- // options, doing so can increase the run time of Lint depending
- // upon the number of identifiers in your program. If you want
- // this checking, uncomment each of the following four options.
- //
- // +fta
- // +e9046 /* typographical ambiguity */
- // +elib(9046)
- // -append(9046,[MISRA 2012 Directive 4.5, advisory])
-
-/**** Dir 4.6 (Adv) ************/
-
- +e970 /* flag modifiers used outside of typedefs */
- +elib(970)
- -append(970,[MISRA 2012 Directive 4.6, advisory])
- // For the duration, we are presuming MISRA does not want
- // diagnostics for the bool type.
- -esym(970,bool)
- -esym(970,char)
-
-/**** Dir 4.7 (Req) ************/
-
- +e534 /* ignoring return value of function */
- +elib(534)
- -append(534,[MISRA 2012 Directive 4.7, required])
-
-/**** Dir 4.8 (Adv) ************/
-
- +e9045 /* non-hidden definition of type */
- +elib(9045)
- -append(9045,[MISRA 2012 Directive 4.8, advisory])
-
-/**** Dir 4.9 (Adv) ************/
-
- +e9026 /* function-like macro defined */
- +elib(9026)
- -append(9026,[MISRA 2012 Directive 4.9, advisory])
-
-/**** Dir 4.10 (Req) ************/
-
- +e451 /* Header repeatedly included without guard */
- +elib(451)
- -append(451,[MISRA 2012 Directive 4.10, required])
-
-/**** Dir 4.11 (Req) ************/
-
- /* The arguments to over 100 calls to standard library functions
- are monitored; users can specify additional constraints for
- other functions.
- */
-
-/**** Dir 4.12 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(function,calloc,[MISRA 2012 Directive 4.12, required])
- -deprecate(function,malloc,[MISRA 2012 Directive 4.12, required])
- -deprecate(function,realloc,[MISRA 2012 Directive 4.12, required])
- -deprecate(function,free,[MISRA 2012 Directive 4.12, required])
-
-/**** Dir 4.13 (Adv) ************/
-
- /* supported by uncommenting the next six options and use of the
- -function_pair() option */
- // +e480
- // +elib(480)
- // -append(480,[MISRA 2012 Directive 4.13, advisory])
- // +e481
- // +elib(481)
- // -append(481,[MISRA 2012 Directive 4.13, advisory])
-
-/**** Rule 1.1 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- -A(C99) /* strict ISO C99 */
- /* Note: if you code to the C90 standard instead, you may
- want to comment out the above option and uncomment the
- following option. You will also want to do likewise for
- other uses of the '-A(C99)' option throughout this file. */
- // -A(C90) /* strict ANSI */
- +e950 /* flag non-standard word or construct */
- +elib(950)
- -append(950,[MISRA 2012 Rule 1.1, required])
-
-/**** Rule 1.2 (Adv) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- -A(C99) /* strict ISO C99 */
- /* Note: if you code to the C90 standard instead, you may
- want to comment out the above option and uncomment the
- following option. You will also want to do likewise for
- other uses of the '-A(C99)' option throughout this file. */
- // -A(C90) /* strict ANSI */
- +e950 /* flag non-ANSI word or construct */
- +elib(950)
- -append(950,[MISRA 2012 Rule 1.2, advisory])
-
-/**** Rule 1.3 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
-
- /* Avoid the use of undefined or unspecified behavior as described
- in ISO C, Appendix A.6.1 and Appendix A.6.2 */
-
- /* Source file not ending in a new-line character, ending in
- new-line character immediately preceded by a backslash
- character, or ending in a partial preprocessing token or
- comment (ISO C, Appendix A.6.2, point 1).
- */
- +e406 /* unclosed comment */
- +elib(406)
- -append(406,[MISRA 2012 Rule 1.3, required])
-
- /* Non-standard character usage (ISO C, Appendix A.6.2, point 2).
- */
- +e27 /* illegal character */
- +elib(27)
- -append(27,[MISRA 2012 Rule 1.3, required])
-
- /* Unclosed quotes (ISO C, Appendix A.6.2, point 4).
- */
- +e2 /* unclosed quote */
- +elib(2)
- -append(2,[MISRA 2012 Rule 1.3, required])
-
- /* Repeated label within a function (ISO C, Appendix A.6.2, point
- 5).
- */
- +e31 /* symbol redefinition */
- +elib(31)
- -append(31,[MISRA 2012 Rule 1.3, required])
-
- /* Non-visible identifier used (ISO C, Appendix A.6.2, point 6).
- */
- +e40 /* undeclared identifier */
- +elib(40)
- -append(40,[MISRA 2012 Rule 1.3, required])
-
- /* Identifiers for the same entity differ beyond the minimal
- significant characters (ISO C, Appendix A.6.2, point 7).
- See Rules 5.1, 5.2, 5.4, and 5.5.
- */
-
- /* The same identifier has both internal and external linkage in
- the same translation unit (ISO C, Appendix A.6.2, point 8).
- */
- +e401 /* symbol not previously declared static */
- +elib(401)
- -append(401,[MISRA 2012 Rule 1.3, required])
-
- /* Multiple definitions for the same externally linked identifier
- (ISO C, Appendix A.6.2, point 9).
- */
- +e31 /* symbol redefinition */
- +elib(31)
-
- /* Using automatic storage data via a pointer after the data's
- lifetime (ISO C, Appendix A.6.2, point 10).
- */
- +e604 /* returning address of auto variable */
- +elib(604)
- -append(604,[MISRA 2012 Rule 1.3, required])
- +e934 /* taking address of near auto variable */
- +elib(934)
- -append(934,[MISRA 2012 Rule 1.3, required])
-
- /* Incompatible redeclarations (ISO C, Appendix A.6.2, point 11).
- See Rule 8.3
- */
-
- /* Non-standard escape sequence (ISO C, Appendix A.6.2, point 12).
- */
- +e606 /* non-ANSI escape sequence */
- +elib(606)
- -append(606,[MISRA 2012 Rule 1.3, required])
-
- /* Non-standard character in header name (ISO C, Appendix A.6.2,
- point 15).
- See Rule 20.2
- */
- +e9020 /* header name with non-standard character */
- +elib(9020)
- -append(9020,[MISRA 2012 Rule 1.3, required])
-
- /* No complete type available (ISO C, Appendix A.6.2, point 16).
- */
- +e86 /* structure has no data elements */
- +elib(86)
- -append(86,[MISRA 2012 Rule 1.3, required])
-
- /* Using or converting a void expression (ISO C, Appendix A.6.2,
- point 17).
- */
- +e64 /* type mismatch */
- +elib(64)
- -append(64,[MISRA 2012 Rule 1.3, required])
- +e67 /* cannot cast between types */
- +elib(67)
- -append(67,[MISRA 2012 Rule 1.3, required])
- +e144 /* non-existent return value */
- +elib(144)
- -append(144,[MISRA 2012 Rule 1.3, required])
-
- /* Modifying an object more than once or modifying and accessing
- between two sequence points (ISO C, Appendix A.6.2, point 18).
- See Rule 13.2
- */
- +e564 /* variable depends on order of evaluation */
- +elib(564)
- -append(564,[MISRA 2012 Rule 1.3, required])
-
- /* Invalid arithmetic operations or unrepresentable results
- (ISO C, Appendix A.6.2, point 19).
- */
- +e54 /* division by 0 */
- +elib(54)
- -append(54,[MISRA 2012 Rule 1.3, required])
- +e414 /* possible division by 0 */
- +elib(414)
- -append(414,[MISRA 2012 Rule 1.3, required])
- +e795 /* conceivable division by 0 */
- +elib(795)
- -append(795,[MISRA 2012 Rule 1.3, required])
- /* Also, see Rule 12.4 */
-
- /* Passing a void argument to a function (ISO C, Appendix A.6.2,
- point 20).
- */
- +e64 /* type mismatch */
- +elib(64)
-
- /* Incompatible function redeclaration (ISO C, Appendix A.6.2,
- point 22).
- See Rule 8.3
- */
-
- /* An invalid array reference, null pointer reference, or
- reference to an object declared with automatic storage duration in
- a terminated block occurs (ISO C, Appendix A.6.2, point 24).
- */
- +e64 /* type mismatch */
- +elib(64)
- +e413 /* likely use of null pointer */
- +elib(413)
- -append(413,[MISRA 2012 Rule 1.3, required])
- +e415 /* out-of-bounds pointer */
- +elib(415)
- -append(415,[MISRA 2012 Rule 1.3, required])
- +e416 /* out-of-bounds pointer */
- +elib(416)
- -append(416,[MISRA 2012 Rule 1.3, required])
- +e428 /* negative subscript */
- +elib(428)
- -append(428,[MISRA 2012 Rule 1.3, required])
- /* Also, see Rule 17.6 */
-
- /* A pointer to a function is converted to a pointer to an object
- or a pointer to an object is converted to a pointer to a function
- (ISO C, Appendix A.6.2, point 26).
- */
- +e64 /* type mismatch */
- +elib(64)
- +e740 /* unusual pointer cast */
- +elib(740)
- -append(740,[MISRA 2012 Rule 1.3, required])
- /* Also, see Rule 11.1 and 11.2 */
-
- /* A pointer is converted to other than an integral or pointer
- type (ISO C, Appendix A.6.2, point 27).
- */
- +e64 /* type mismatch */
- +elib(64)
- +e71 /* cannot cast */
- +elib(71)
-
- /* An expression is shifted by a negative number or by an amount
- greater than or equal to the width in bits of the expression being
- shifted (ISO C, Appendix A.6.2, point 30).
- */
- +e504 /* unusual shift */
- +elib(504)
- -append(504,[MISRA 2012 Rule 1.3, required])
-
- /* An identifier for an object is declared with no linkage and the
- type of the object is incomplete after its declarator, or after its
- init-declarator if it has an initializer (ISO C, Appendix
- A.6.2, point 33).
- */
- +e86 /* structure has no data elements */
- +elib(86)
-
- /* Declaring a function at block scope with a storage-class
- specifier other than extern (ISO C, Appendix A.6.2, point 34).
- */
- +e629 /* static class for function */
- +elib(629)
- -append(629,[MISRA 2012 Rule 1.3, required])
-
- /* A bit-field is declared with a type other than int, signed int,
- or unsigned int (ISO C, Appendix A.6.2, point 35).
- See Rule 6.1.
- */
-
- /* Attempting to modify an object with const-qualified type by
- means of an lvalue with non-const-qualified type (ISO C,
- Appendix A.6.2, point 36).
- */
- +e158 /* assignment increases capability */
- +elib(158)
- -append(158,[MISRA 2012 Rule 1.3, required])
-
- /* Attempting to refer to an object with volatile-qualified type
- by means of an lvalue with non-volatile-qualified type (ISO C,
- Appendix A.6.2, point 37).
- */
- +e158 /* assignment increases capability */
- +elib(158)
-
- /* Using the value of uninitialized automatic object (ISO C,
- Appendix A.6.2, point 38).
- See Rule 9.1
- */
-
- /* An object with aggregate or union type with static storage
- duration has a non-brace-enclosed initializer, or an object
- with aggregate or union type with automatic storage duration
- has either a single expression initializer with a type other
- than that of the object or a non-brace-enclosed initializer
- (ISO C, Appendix A.6.2, point 39).
- Also, see Rule 9.2
- */
- +e64 /* type mismatch */
- +elib(64)
-
- /* The value of a function is used, but no value was returned
- (ISO C, Appendix A.6.2, point 40).
- See Rule 17.4.
- */
-
- /* A function that accepts a variable number of arguments is
- defined without a parameter type list that ends with the
- ellipsis notation (ISO C, Appendix A.6.2, point 41).
- */
-
- /* An identifier for an object with internal linkage and an
- incomplete type is declared with a tentative definition (ISO C,
- Appendix A.6.2, point 42).
- */
- +e86 /* structure has no data elements */
- +elib(86)
-
- /* Non-standard #include preprocessing directive (ISO C, Appendix
- A.6.2, point 44).
- See Rule 20.3.
- */
-
- /* Non-standard #line directive (ISO C, Appendix A.6.2, point 49).
- */
- +"estring(10,a numeric constant)" /* expecting a numeric constant */
-
- /* #defining or #undefing any of: defined, __LINE__, __FILE__,
- __DATE__, __TIME__, or __STDC__ (ISO C, Appendix A.6.2, point 50).
- */
- +e136 /* illegal macro name */
- +elib(136)
- -append(136,[MISRA 2012 Rule 1.3, required])
-
- /* Format-argument mismatch in an fprintf or fscanf type of
- function (ISO C, Appendix A.6.2, point 75).
- */
- +e558 /* too few arguments */
- +elib(558)
- -append(558,[MISRA 2012 Rule 1.3, required])
- +e719 /* too many arguments */
- +elib(719)
- -append(719,[MISRA 2012 Rule 1.3, required])
-
- /* A %% conversion specification for the fprintf or fscanf
- function contains characters between the pair of % characters
- (ISO C, Appendix A.6.2, point 77).
- */
- +e557 /* unrecognized format */
- +elib(557)
- -append(557,[MISRA 2012 Rule 1.3, required])
-
- /* An aggregate or union, or a pointer to an aggregate or union is
- an argument to the fprintf function, except for the conversion
- specifiers %s (for an array of character type) or %p (for a pointer
- to void) (ISO C, Appendix A.6.2, point 81).
- */
- +e437 /* passing struct to ellipsis */
- +elib(437)
- -append(437,[MISRA 2012 Rule 1.3, required])
-
- /* Referring to deallocated space (ISO C, Appendix A.6.2, point
- 87).
- */
- +e449 /* previously deallocated pointer */
- +elib(449)
- -append(449,[MISRA 2012 Rule 1.3, required])
-
- /* Misuse of free or realloc (ISO C, Appendix A.6.2, point 88).
- */
- +esym(424,free) /* inappropriate deallocation */
- -append(424,[MISRA 2012 Rule 1.3, required])
-
- /* An array written to by a copying or concatenation function is
- too small (ISO C, Appendix A.6.2, point 91).
- */
- +e419 /* data overrun */
- +elib(419)
- -append(419,[MISRA 2012 Rule 1.3, required])
-
- /* Order of evaluation (ISO C, Appendix A.6.1, point 7).
- */
- +e564 /* variable depends on order of evaluation */
- +elib(564)
- -append(564,[MISRA 2012 Rule 1.3, required])
-
- /* Side effects order (ISO C, Appendix A.6.1, point 8).
- */
- +e931 /* both sides of an expression have side-effects */
- +elib(931)
- -append(931,[MISRA 2012 Rule 1.3, required])
-
- /* Function argument evaluation (ISO C, Appendix A.6.1, point 9).
- */
- +e564 /* variable depends on order of evaluation */
- +elib(564)
-
- /* The order in which # and ## operations are evaluated during
- macro substitution (ISO C, Appendix A.6.1, point 12).
- */
- +e9023 /* multiple '#/##' operators in macro definition */
- +elib(9023)
- -append(9023,[MISRA 2012 Rule 1.3, required])
-
- /* Whether setjmp is a macro or an external identifier (ISO C,
- Appendix A.6.1, point 14).
- See Rule 21.2.
- */
-
-/**** Rule 2.1 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e506 /* constant value boolean */
- +elib(506)
- -append(506,[MISRA 2012 Rule 2.1, required])
- +e527 /* unreachable */
- +elib(527)
- -append(527,[MISRA 2012 Rule 2.1, required])
- +e681 /* loop not entered */
- +elib(681)
- -append(681,[MISRA 2012 Rule 2.1, required])
- +e827 /* loop not reachable */
- +elib(827)
- -append(827,[MISRA 2012 Rule 2.1, required])
-
-/**** Rule 2.2 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e438 /* value not used */
- +elib(438)
- -append(438,[MISRA 2012 Rule 2.2, required])
- +e505 /* redundant argument to comma */
- +elib(505)
- -append(505,[MISRA 2012 Rule 2.2, required])
- +e520 /* highest operator has no side effects */
- +elib(520)
- -append(520,[MISRA 2012 Rule 2.2, required])
- +e521 /* highest operator has no side effects */
- +elib(521)
- -append(521,[MISRA 2012 Rule 2.2, required])
- +e522 /* highest operator has no side effects */
- +elib(522)
- -append(522,[MISRA 2012 Rule 2.2, required])
-
-/**** Rule 2.3 (Adv) ************/
-
- +e751 /* local typedef not referenced */
- +elib(751)
- -append(751,[MISRA 2012 Rule 2.3, advisory])
- +e756 /* global not referenced */
- +elib(756)
- -append(756,[MISRA 2012 Rule 2.3, advisory])
-
-/**** Rule 2.4 (Adv) ************/
-
- +e753 /* local tag not referenced */
- +elib(753)
- -append(753,[MISRA 2012 Rule 2.4, advisory])
- +e9058
- +elibsym(9058)
- -append(9058,[MISRA 2012 Rule 2.4, advisory])
-
-/**** Rule 2.5 (Adv) ************/
-
- +e750 /* local macro not referenced */
- +elib(750)
- -append(750,[MISRA 2012 Rule 2.5, advisory])
- +e755 /* global macro not referenced */
- +elib(755)
- -append(755,[MISRA 2012 Rule 2.5, advisory])
-
-/**** Rule 2.6 (Adv) ************/
-
- +e563 /* label not referenced */
- +elib(563)
- -append(563,[MISRA 2012 Rule 2.6, advisory])
-
-/**** Rule 2.7 (Adv) ************/
-
- +e715 /* not referenced */
- +elib(715)
- -append(715,[MISRA 2012 Rule 2.7, advisory])
-
-/**** Rule 3.1 (Req) ************/
-
- -fnc /* flag nested comments */
- +e602 /* comment within comment */
- +elib(602)
- -append(602,[MISRA 2012 Rule 3.1, required])
- +e9059
- +elib(9059)
- -append(9059,[MISRA 2012 Rule 3.1, required])
- +e9066
- +elib(9066)
- -append(9066,[MISRA 2012 Rule 3.1, required])
-
-/**** Rule 3.2 (Req) ************/
-
- +e427 /* C++ comment ends in \\ */
- +elib(427)
- -append(427,[MISRA 2012 Rule 3.2, required])
-
-/**** Rule 4.1 (Req) ************/
-
- +e9039 /* prohibited escape sequence */
- +elib(9039)
- -append(9039,[MISRA 2012 Rule 4.1, required])
-
-/**** Rule 4.2 (Adv) ************/
-
- -ftg /* inhibit use of trigraphs */
- +e584 /* activate trigraph detected message */
- +elib(584)
- -append(584,[MISRA 2012 Rule 4.2, advisory])
- +e739 /* activate trigraph in string message */
- +elib(739)
- -append(739,[MISRA 2012 Rule 4.2, advisory])
- +e9060 /* trigraph in comment */
- +elib(9060)
- -append(9060,[MISRA 2012 Rule 4.2, advisory])
-
-/**** Rule 5.1 (Req) ************/
-
- -idlen(31) /* flag names identical in the first 31 characters */
- +e621 /* Identifier clash - length set by -idlen */
- +elib(621)
- -append(621,[MISRA 2012 Rule 5.1, required])
-
-/**** Rule 5.2 (Req) ************/
-
- -idlen(31) /* flag names identical in the first 31 characters */
- +e621 /* Identifier clash - length set by -idlen */
- +elib(621)
- -append(621,[MISRA 2012 Rule 5.2, required])
-
-/**** Rule 5.3 (Req) ************/
-
- +e578 /* enable reports of name hiding */
- +elib(578)
- -append(578,[MISRA 2012 Rule 5.3, required])
-
-/**** Rule 5.4 (Req) ************/
-
- -idlen(31) /* flag names identical in the first 31 characters */
- +e621 /* Identifier clash - length set by -idlen */
- +elib(621)
- -append(621,[MISRA 2012 Rule 5.4, required])
-
-/**** Rule 5.5 (Req) ************/
-
- +e123 /* macro defined with arguments */
- +elib(123)
- -append(123,[MISRA 2012 Rule 5.5, required])
- -idlen(31) /* flag names identical in the first 31 characters */
- +e621 /* Identifier clash - length set by -idlen */
- +elib(621)
- -append(621,[MISRA 2012 Rule 5.5, required])
- +e9061 /* non-distinct identifier */
- +elib(9061)
- -append(9061,[MISRA 2012 Rule 5.5, required])
-
-/**** Rule 5.6 (Req) ************/
-
- +e578 /* enable reports of name hiding */
- +elib(578)
- -append(578,[MISRA 2012 Rule 5.6, required])
- +e623 /* redefining the storage class of symbol */
- +elib(623)
- -append(623,[MISRA 2012 Rule 5.6, required])
- +estring(9062,typedef) /* non-unique typedef */
- +elib(9062)
- -append(9062(typedef),[MISRA 2012 Rule 5.6, required])
-
-/**** Rule 5.7 (Req) ************/
-
- +e407 /* Inconsistent use of tag */
- +elib(407)
- -append(407,[MISRA 2012 Rule 5.7, required])
- +e578 /* Declaration of Symbol hides Symbol */
- +elib(578)
- -append(578,[MISRA 2012 Rule 5.7, required])
- +e14 /* Symbol previously defined */
- +elib(14)
- -append(14,[MISRA 2012 Rule 5.7, required])
- +e15 /* Symbol redeclared */
- +elib(15)
- -append(15,[MISRA 2012 Rule 5.7, required])
- +e631 /* Tag defined differently */
- +elib(631)
- -append(631,[MISRA 2012 Rule 5.7, required])
- +e9062 /* non-unique tag */
- +elib(9062)
- -append(9062(tag),[MISRA 2012 Rule 5.7, required])
-
-/**** Rule 5.8 (Req) ************/
-
- +e401 /* Symbol not previously declared static */
- +elib(401)
- -append(401,[MISRA 2012 Rule 5.8, required])
- +e578 /* Declaration of Symbol hides Symbol */
- +elib(578)
- -append(578,[MISRA 2012 Rule 5.8, required])
- +e580 /* enable reports of name hiding */
- +elib(580)
- -append(580,[MISRA 2012 Rule 5.8, required])
-
-/**** Rule 5.9 (Adv) ************/
-
- +e578 /* enable reports of name hiding */
- +elib(578)
- -append(578,[MISRA 2012 Rule 5.9, advisory])
- +e580 /* enable reports of name hiding */
- +elib(580)
- -append(580,[MISRA 2012 Rule 5.9, advisory])
-
-/**** Rule 6.1 (Req) ************/
-
- +e46 /* field type should be int */
- +elib(46)
- -append(46,[MISRA 2012 Rule 6.1, required])
- +e806 /* small bit field is signed rather than unsigned */
- +elib(806)
- -append(806,[MISRA 2012 Rule 6.1, required])
-
-/**** Rule 6.2 (Req) ************/
-
- +e9088 /* named signed single-bit bit-field */
- +elib(9088)
- -append(9088,[MISRA 2012 Rule 6.2, required])
-
-/**** Rule 7.1 (Req) ************/
-
- +e9001 /* Octal constant used */
- +elib(9001)
- -append(9001,[MISRA 2012 Rule 7.1, required])
-
-/**** Rule 7.2 (Req) ************/
-
- +e9048 /* unsigned literal without 'U' suffix */
- +elib(9048)
- -append(9048,[MISRA 2012 Rule 7.2, required])
-
-/**** Rule 7.3 (Req) ************/
-
- +e620 /* suspicious constant */
- +elib(620)
- -append(620,[MISRA 2012 Rule 7.3, required])
- +e9057 /* "l" after "u" in literal suffix */
- +elib(9057)
- -append(9057,[MISRA 2012 Rule 7.3, required])
-
-/**** Rule 7.4 (Req) ************/
-
- +fsc
- +e489 /* attempting to modify a string literal */
- +elib(489)
- -append(489,[MISRA 2012 Rule 7.4, required])
- +e1776 /* string literal not const safe */
- +elib(1776)
- -append(1776,[MISRA 2012 Rule 7.4, required])
- +e1778 /* assignment of string literal not const safe */
- +elib(1778)
- -append(1778,[MISRA 2012 Rule 7.4, required])
-
-/**** Rule 8.1 (Req) ************/
-
- +e601 /* no explicit type */
- +elib(601)
- -append(601,[MISRA 2012 Rule 8.1, required])
- +e745 /* function has no explicit type */
- +elib(745)
- -append(745,[MISRA 2012 Rule 8.1, required])
- +e808 /* no explicit type */
- +elib(808)
- -append(808,[MISRA 2012 Rule 8.1, required])
- +e832 /* parameter has no explicit type */
- +elib(832)
- -append(832,[MISRA 2012 Rule 8.1, required])
- +e939 /* return type defaults to int */
- +elib(939)
- -append(939,[MISRA 2012 Rule 8.1, required])
-
-/**** Rule 8.2 (Req) ************/
-
- +e937 /* old-style function declaration */
- +elib(937)
- -append(937,[MISRA 2012 Rule 8.2, required])
- +e745 /* function has no explicit type */
- +elib(745)
- -append(745,[MISRA 2012 Rule 8.2, required])
- +e939 /* return type defaults to int */
- +elib(939)
- -append(939,[MISRA 2012 Rule 8.2, required])
- -fvr /* varying return mode not allowed */
- -strong() /* enable strong typing for
- declarations */
- +e18 /* symbol redeclared */
- +elib(18)
- -append(18,[MISRA 2012 Rule 8.2, required])
-
- +e936 /* old-style function definition */
- +elib(936)
- -append(936,[MISRA 2012 Rule 8.2, required])
-
- +e955 /* param name missing from prototype */
- +elib(955)
- -append(955,[MISRA 2012 Rule 8.2, required])
-
-/**** Rule 8.3 (Req) ************/
-
- -fvr /* varying return mode not allowed */
- -strong() /* enable strong typing for declarations */
- +e18 /* symbol redeclared */
- +elib(18)
- -append(18,[MISRA 2012 Rule 8.3, required])
- +e516 /* argument type conflict */
- +elib(516)
- -append(516,[MISRA 2012 Rule 8.3, required])
- +e532 /* return mode of symbol inconsistent */
- +elib(532)
- -append(532,[MISRA 2012 Rule 8.3, required])
- +e9072 /* parameter list differs */
- +elib(9072)
- -append(9072,[MISRA 2012 Rule 8.3, required])
-
-/**** Rule 8.4 (Req) ************/
-
- +e15 /* symbol redeclared */
- +elib(15)
- -append(15,[MISRA 2012 Rule 8.4, required])
- +e64 /* flag type mismatch */
- +elib(64)
- -append(64,[MISRA 2012 Rule 8.4, required])
- +e516 /* argument type mismatch */
- +elib(516)
- -append(516,[MISRA 2012 Rule 8.4, required])
- +e9075 /* extern defined without prior declaration */
- +elib(9075)
- -append(9075,[MISRA 2012 Rule 8.4, required])
-
-/**** Rule 8.5 (Req) ************/
-
- +e9004 /* object/function previously declared */
- +elib(9004)
- -append(9004,[MISRA 2012 Rule 8.5, required])
-
-/**** Rule 8.6 (Req) ************/
-
- --fmd /* diallow multiple definitions */
- +e14 /* Symbol previously defined */
- +elib(14)
- -append(14,[MISRA 2012 Rule 8.6, required])
-
-/**** Rule 8.7 (Adv) ************/
-
- +e765 /* could be made static */
- +elib(765)
- -append(765,[MISRA 2012 Rule 8.7, advisory])
-
-/**** Rule 8.8 (Req) ************/
-
- +e839 /* storage class assumed static */
- +elib(839)
- -append(839,[MISRA 2012 Rule 8.8, required])
-
-/**** Rule 8.9 (Adv) ************/
-
- +e9003 /* could define variable at block scope */
- +elib(9003)
- -append(9003,[MISRA 2012 Rule 8.9, advisory])
-
-/**** Rule 8.10 (Req) ************/
-
- +e695 /* inline function without storage-class specifier */
- +elib(695)
- -append(695,[MISRA 2012 Rule 8.10, required])
- +estring(9056,extern) /* inline function defined with extern */
- -append(9056,[MISRA 2012 Rule 8.10, required])
-
-/**** Rule 8.11 (Adv) ************/
-
- +e9067 /* array has no dimension or initializer */
- +elib(9067)
- -append(9067,[MISRA 2012 Rule 8.11, advisory])
-
-/**** Rule 8.12 (Req) ************/
-
- +e488 /* duplicate enumerator values */
- +elib(488)
- -append(488,[MISRA 2012 Rule 8.12, required])
-
-/**** Rule 8.13 (Adv) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e818 /* pointer could be declared pointing to const */
- +elib(818)
- -append(818,[MISRA 2012 Rule 8.13, advisory])
- +e844 /* pointer could be declared pointing to const */
- +elib(844)
- -append(844,[MISRA 2012 Rule 8.13, advisory])
- +e954 /* pointer could be declared pointing to const */
- +elib(954)
- -append(954,[MISRA 2012 Rule 8.13, advisory])
-
-/**** Rule 8.14 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(keyword,restrict,[MISRA 2012 Rule 8.14, required])
-
-/**** Rule 9.1 (Mand) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e644 /* Symbol may not have been initialized */
- +elib(644)
- -append(644,[MISRA 2012 Rule 9.1, mandatory])
- +e771 /* Symbol conceivably not initialized */
- +elib(771)
- -append(771,[MISRA 2012 Rule 9.1, mandatory])
- +e530 /* Symbol not initialized */
- +elib(530)
- -append(530,[MISRA 2012 Rule 9.1, mandatory])
- -specific(+e644 +e771 +e530,)
-
-/**** Rule 9.2 (Req) ************/
-
- +e9069 /* omitted braces within an initializer */
- +elib(9069)
- -append(9069,[MISRA 2012 Rule 9.2, required])
-
-/**** Rule 9.3 (Req) ************/
-
- +e9068 /* too few initializers */
- +elib(9068)
- -append(9068,[MISRA 2012 Rule 9.3, required])
-
-/**** Rule 9.4 (Req) ************/
-
- +e485 /* duplicate initialization */
- +elib(485)
- -append(485,[MISRA 2012 Rule 9.4, required])
-
-/**** Rule 9.5 (Req) ************/
-
- +e9054 /* designated initializer and dimensionless array */
- +elib(9054)
- -append(9054,[MISRA 2012 Rule 9.5, required])
-
-/**** Rule 10.1 (Req) ************/
-
- +e48 /* bad type */
- +elib(48)
- -append(48,[MISRA 2012 Rule 10.1, required])
- +e9027 /* unpermitted operand */
- +elib(9027)
- -append(9027,[MISRA 2012 Rule 10.1, required])
-
-/**** Rule 10.2 (Req) ************/
-
- +e9028 /* unpermitted arithmetic */
- +elib(9028)
- -append(9028,[MISRA 2012 Rule 10.2, required])
-
-/**** Rule 10.3 (Req) ************/
-
- +e9034 /* expression assigned to narrower or different essential type */
- +elib(9034)
- // Note: the following -d options for true and false don't apply
- // to C90 and should be commented out if not using C99
- +"dtrue=/*lint -save -e921 */(_Bool) 1/*lint -restore */" // exception
- +"dfalse=/*lint -save -e921 */(_Bool) 0/*lint -restore */" // exception
- -append(9034,[MISRA 2012 Rule 10.3, required])
-
-/**** Rule 10.4 (Req) ************/
-
- +e9029 /* mismatched essential type */
- +elib(9029)
- -append(9029,[MISRA 2012 Rule 10.4, required])
-
-/**** Rule 10.5 (Adv) ************/
-
- +e9030 /* impermissible cast */
- +elib(9030)
- -append(9030,[MISRA 2012 Rule 10.5, advisory])
-
-/**** Rule 10.6 (Req) ************/
-
- +e9031 /* composite expression assigned to wider essential type */
- +elib(9031)
- -append(9031,[MISRA 2012 Rule 10.6, required])
-
-/**** Rule 10.7 (Req) ************/
-
- +e9032 /* composite expression with smaller essential type than other operand*/
- +elib(9032)
- -append(9032,[MISRA 2012 Rule 10.7, required])
-
-/**** Rule 10.8 (Req) ************/
-
- +e9033 /* impermissible cast of composite expression */
- +elib(9033)
- -append(9033,[MISRA 2012 Rule 10.8, required])
-
-/**** Rule 11.1 (Req) ************/
-
- +e9074 /* conversion between a pointer to function and another type */
- +elib(9074)
- --emacro((9074),NULL) /* explicit exception */
- -append(9074,[MISRA 2012 Rule 11.1, required])
-
-/**** Rule 11.2 (Req) ************/
-
- +e9076 /* conversion between a pointer to incomplete type and another type */
- +elib(9076)
- --emacro((9076),NULL) /* explicit exception */
- -append(9076,[MISRA 2012 Rule 11.2, required])
-
-/**** Rule 11.3 (Req) ************/
-
- +e9087 /* cast from pointer to pointer */
- +elib(9087)
- -append(9087,[MISRA 2012 Rule 11.3, required])
-
-/**** Rule 11.4 (Adv) ************/
-
- +e9078 /* cast pointer/integer */
- +elib(9078)
- -append(9078,[MISRA 2012 Rule 11.4, advisory])
-
-/**** Rule 11.5 (Adv) ************/
-
- +e9079 /* cast from pointer to pointer */
- +elib(9079)
- -append(9079,[MISRA 2012 Rule 11.5, advisory])
-
-/**** Rule 11.6 (Req) ************/
-
- +e923 /* cast pointer/non-pointer */
- +elib(923)
- -append(923,[MISRA 2012 Rule 11.6, required])
-
-/**** Rule 11.7 (Req) ************/
-
- +e68 /* cast pointer/float */
- +elib(68)
- -append(68,[MISRA 2012 Rule 11.7, required])
- +e70 /* cast pointer/float */
- +elib(70)
- -append(70,[MISRA 2012 Rule 11.7, required])
-
-/**** Rule 11.8 (Req) ************/
-
- +e9005 /* attempt to cast away const/volatile from pointer or reference */
- +elib(9005)
- -append(9005,[MISRA 2012 Rule 11.8, required])
-
-/**** Rule 11.9 (Req) ************/
-
- +e910 /* conversion from 0 to pointer */
- +elib(910)
- --emacro((910),NULL) /* explicit exception */
- -append(910,[MISRA 2012 Rule 11.9, required])
- +e9080 /* integer null pointer constant */
- +elib(9080)
- -append(9080,[MISRA 2012 Rule 11.9, required])
-
-/**** Rule 12.1 (Adv) ************/
-
- +e9050 /* dependence placed on precedence */
- +elib(9050)
- -append(9050,[MISRA 2012 Rule 12.1, advisory])
-
-/**** Rule 12.2 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e598 /* excessive left shift */
- +elib(598)
- -append(598,[MISRA 2012 Rule 12.2, required])
- +e9053 /* shift value exceeds size of LHS */
- +elib(9053)
- -append(9053,[MISRA 2012 Rule 12.2, required])
-
-/**** Rule 12.3 (Adv) ************/
-
- +e9008 /* comma operator used */
- +elib(9008)
- -append(9008,[MISRA 2012 Rule 12.3, advisory])
-
-/**** Rule 12.4 (Adv) ************/
-
- +elib(648) /* Overflow in computing constant */
- +estring(648,unsigned addition)
- +estring(648,unsigned multiplication)
- +estring(648,unsigned sub.)
- +estring(648,unsigned shift left)
- +estring(648,unsigned shift right)
- -append(648,[MISRA 2012 Rule 12.4, advisory])
-
-/**** Rule 13.1 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e446 /* side effect in initializer */
- +elib(446)
- -append(446,[MISRA 2012 Rule 13.1, required])
-
-/**** Rule 13.2 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e564 /* variable depends on order of evaluation */
- +elib(564)
- -append(564,[MISRA 2012 Rule 13.2, required])
- +e864 /* variable possibly depends on order of evaluation */
- +elib(864)
- -append(864,[MISRA 2012 Rule 13.2, required])
- +e931 /* both sides have side effects */
- +elib(931)
- -append(931,[MISRA 2012 Rule 13.2, required])
-
-/**** Rule 13.3 (Adv) ************/
-
- +e9049 /* increment/decrement combined with other operations */
- +elib(9049)
- -append(9049,[MISRA 2012 Rule 13.3, advisory])
-
-/**** Rule 13.4 (Adv) ************/
-
- +e720 /* Boolean test of assignment */
- +elib(720)
- -append(720,[MISRA 2012 Rule 13.4, advisory])
- +e820 /* Boolean test of parenthesized assignment */
- +elib(820)
- -append(820,[MISRA 2012 Rule 13.4, advisory])
- +e9084 /* assignment used inside larger
- expression */
- +elib(9084)
- -append(9084,[MISRA 2012 Rule 13.4, advisory])
-
-/**** Rule 13.5 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e9007 /* side effects on right hand side of logical operator */
- +elib(9007)
- -append(9007,[MISRA 2012 Rule 13.5, required])
-
-/**** Rule 13.6 (Mand) ************/
-
- +e9006 /* sizeof used with expression with side effect */
- +elib(9006)
- -append(9006,[MISRA 2012 Rule 13.6, mandatory])
- +e9089 /* potential side-effect in argument to sizeof */
- +elib(9089)
- -append(9089,[MISRA 2012 Rule 13.6, mandatory])
-
-/**** Rule 14.1 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e9009 /* floating point variable used as loop counter */
- +elib(9009)
- -append(9009,[MISRA 2012 Rule 14.1, required])
-
-/**** Rule 14.2 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e850 /* index variable modified in body of for loop */
- +elib(850)
- -append(850,[MISRA 2012 Rule 14.2, required])
-
-/**** Rule 14.3 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e685 /* relational always evaluates to true/false */
- +elib(685)
- -append(685,[MISRA 2012 Rule 14.3, required])
- +e774 /* boolean always evaluates to true/false */
- +elib(774)
- -append(774,[MISRA 2012 Rule 14.3, required])
- +e650 /* constant out of range for operator */
- +elib(650)
- -append(650,[MISRA 2012 Rule 14.3, required])
-
-/**** Rule 14.4 (Req) ************/
-
- +e9036 /* condition should have essentially Boolean type */
- +elib(9036)
- -append(9036,[MISRA 2012 Rule 14.4, required])
-
-/**** Rule 15.1 (Adv) ************/
-
- +e801 /* use of 'goto' is deprecated */
- +elib(801)
- -append(801,[MISRA 2012 Rule 15.1, advisory])
-
-/**** Rule 15.2 (Req) ************/
-
- +e9064 /* goto references earlier label */
- +elib(9064)
- -append(9064,[MISRA 2012 Rule 15.2, required])
-
-/**** Rule 15.3 (Req) ************/
-
- +e9041 /* goto not nested in the same block as label */
- +elib(9041)
- -append(9041,[MISRA 2012 Rule 15.3, required])
-
-/**** Rule 15.4 (Adv) ************/
-
- +e9011 /* more than one 'break' terminates loop */
- +elib(9011)
- -append(9011,[MISRA 2012 Rule 15.4, advisory])
-
-/**** Rule 15.5 (Adv) ************/
-
- +e904 /* return before function end */
- +elib(904)
- -append(904,[MISRA 2012 Rule 15.5, advisory])
-
-/**** Rule 15.6 (Req) ************/
-
- +e9012 /* sub-statement should be a compound statement */
- +elib(9012)
- -append(9012,[MISRA 2012 Rule 15.6, required])
-
-/**** Rule 15.7 (Req) ************/
-
- +e9013 /* no 'else' at end of 'if ... else if' chain */
- +elib(9013)
- -append(9013,[MISRA 2012 Rule 15.7, required])
- +e9063 /* no comment or action in else-branch */
- +elib(9063)
- -append(9063,[MISRA 2012 Rule 15.7, required])
-
-/**** Rule 16.1 (Req) ************/
-
- +e616 /* control flows into case/default */
- +elib(616)
- -append(616,[MISRA 2012 Rule 16.1, required])
- +e744 /* switch statement has no default */
- +elib(744)
- -append(744,[MISRA 2012 Rule 16.1, required])
- +e764 /* switch does not have a case */
- +elib(764)
- -append(764,[MISRA 2012 Rule 16.1, required])
- +e825 /* control flows into case/default without -fallthrough comment */
- +elib(825)
- -append(825,[MISRA 2012 Rule 16.1, required])
- +e9014 /* default missing from switch */
- +elib(9014)
- -append(9014,[MISRA 2012 Rule 16.1, required])
- +e9042 /* departure from MISRA switch syntax */
- +elib(9042)
- -append(9042,[MISRA 2012 Rule 16.1, required])
- +e9077 /* missing unconditional break */
- +elib(9077)
- -append(9077,[MISRA 2012 Rule 16.1, required])
- +e9081 /* too few independent cases for switch */
- +elib(9081)
- -append(9081,[MISRA 2012 Rule 16.1, required])
- +e9082 /* switch statement should either begin or end with default label */
- +elib(9082)
- -append(9082,[MISRA 2012 Rule 16.1, required])
- +e9085 /* statement or comment should appear in default case */
- +elib(9085)
- -append(9085,[MISRA 2012 Rule 16.1, required])
-
-/**** Rule 16.2 (Req) ************/
-
- +e44 /* Need a switch */
- +elib(44)
- -append(44,[MISRA 2012 Rule 16.2, required])
- +e9055 /* enclosing statement is not a switch */
- +elib(9055)
- -append(9055,[MISRA 2012 Rule 16.2, required])
-
-/**** Rule 16.3 (Req) ************/
-
- +e616 /* control flows into case/default */
- +elib(616)
- -append(616,[MISRA 2012 Rule 16.3, required])
- +e825 /* control flows into case/default without -fallthrough comment */
- +elib(825)
- -append(825,[MISRA 2012 Rule 16.3, required])
- +e9077 /* missing unconditional break */
- +elib(9077)
- -append(9077,[MISRA 2012 Rule 16.3, required])
- +e9090 /* missing unconditional break */
- +elib(9090)
- -append(9090,[MISRA 2012 Rule 16.3, required])
-
-/**** Rule 16.4 (Req) ************/
-
- +e744 /* switch statement has no default */
- +elib(744)
- -append(744,[MISRA 2012 Rule 16.4, required])
- +e9014 /* switch statement has no default */
- +elib(9014)
- -append(9014,[MISRA 2012 Rule 16.4, required])
- +e9085 /* default case has no statement nor comment */
- +elib(9085)
- -append(9085,[MISRA 2012 Rule 16.4, required])
-
-/**** Rule 16.5 (Req) ************/
-
- +e9082 /* default should be first or last */
- +elib(9082)
- -append(9082,[MISRA 2012 Rule 16.5, required])
-
-/**** Rule 16.6 (Req) ************/
-
- +e764 /* switch does not have a case */
- +elib(764)
- -append(764,[MISRA 2012 Rule 16.6, required])
- +e9081 /* too few cases */
- +elib(9081)
- -append(9081,[MISRA 2012 Rule 16.6, required])
-
-/**** Rule 16.7 (Req) ************/
-
- +e483 /* boolean value in switch expression */
- +elib(483)
- -append(483,[MISRA 2012 Rule 16.7, required])
-
-/**** Rule 17.1 (Req) ************/
-
- +e829 /* warn on header usage */
- +elib(829)
- +headerwarn(stdarg.h)
- -append(829(stdarg.h),[MISRA 2012 Rule 17.1, required])
- -deprecate(macro,va_arg,[MISRA 2012 Rule 17.1, required])
- -deprecate(macro,va_start,[MISRA 2012 Rule 17.1, required])
- -deprecate(macro,va_end,[MISRA 2012 Rule 17.1, required])
- -deprecate(macro,va_copy,[MISRA 2012 Rule 17.1, required])
-
-/**** Rule 17.2 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e9070
- -append(9070,[MISRA 2012 Rule 17.2, required])
-
-/**** Rule 17.3 (Mand) ************/
-
- +e718 /* symbol undeclared, assumed to return int */
- +elib(718)
- -append(718,[MISRA 2012 Rule 17.3, mandatory])
-
-/**** Rule 17.4 (Mand) ************/
-
- +e533 /* function should return a value */
- +elib(533)
- -append(533,[MISRA 2012 Rule 17.4, mandatory])
-
-/**** Rule 17.5 (Adv) ************/
-
- /* MISRA has declared this rule to be "undecidable". */
-
-/**** Rule 17.6 (Mand) ************/
-
- +e9043 /* static between brackets of array declaration */
- +elib(9043)
- -append(9043,[MISRA 2012 Rule 17.6, mandatory])
-
-/**** Rule 17.7 (Req) ************/
-
- +e534 /* ignoring return value of function */
- +elib(534)
- -append(534,[MISRA 2012 Rule 17.7, required])
-
-/**** Rule 17.8 (Adv) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e9044 /* function parameter modified */
- +elib(9044)
- -append(9044,[MISRA 2012 Rule 17.8, advisory])
-
-/**** Rule 18.1 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e415 /* out-of-bounds pointer */
- +elib(415)
- -append(415,[MISRA 2012 Rule 18.1, required])
- +e416 /* out-of-bounds pointer */
- +elib(416)
- -append(416,[MISRA 2012 Rule 18.1, required])
- +e428 /* out-of-bounds pointer */
- +elib(428)
- -append(428,[MISRA 2012 Rule 18.1, required])
- +e661 /* out-of-bounds pointer */
- +elib(661)
- -append(661,[MISRA 2012 Rule 18.1, required])
- +e662 /* out-of-bounds pointer */
- +elib(662)
- -append(662,[MISRA 2012 Rule 18.1, required])
- +e676 /* out-of-bounds pointer */
- +elib(676)
- -append(676,[MISRA 2012 Rule 18.1, required])
- +e796 /* out-of-bounds pointer */
- +elib(796)
- -append(796,[MISRA 2012 Rule 18.1, required])
- +e797 /* out-of-bounds pointer */
- +elib(797)
- -append(797,[MISRA 2012 Rule 18.1, required])
- +e817 /* out-of-bounds pointer */
- +elib(817)
- -append(817,[MISRA 2012 Rule 18.1, required])
-
-/**** Rule 18.2 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e946 /* relational or subtract operator applied to pointers */
- +elib(946)
- -append(946,[MISRA 2012 Rule 18.2, required])
- +e947 /* relational or subtract operator applied to pointers */
- +elib(947)
- -append(947,[MISRA 2012 Rule 18.2, required])
-
-/**** Rule 18.3 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e946 /* relational or subtract operator applied to pointers */
- +elib(946)
- -append(946,[MISRA 2012 Rule 18.3, required])
- +e947 /* relational or subtract operator applied to pointers */
- +elib(947)
- -append(947,[MISRA 2012 Rule 18.3, required])
-
-/**** Rule 18.4 (Adv) ************/
-
- +e9016 /* pointer arithmetic other than array indexing used */
- +elib(9016)
- -append(9016,[MISRA 2012 Rule 18.4, advisory])
-
-/**** Rule 18.5 (Adv) ************/
-
- +e9025 /* more than two pointer indirection levels used */
- +elib(9025)
- -append(9025,[MISRA 2012 Rule 18.5, advisory])
-
-/**** Rule 18.6 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e733 /* assigning address of auto to outer scope symbol */
- +elib(733)
- -append(733,[MISRA 2012 Rule 18.6, required])
- +e789 /* assigning address of auto to static */
- +elib(789)
- -append(789,[MISRA 2012 Rule 18.6, required])
- +e604 /* returning address of auto variable */
- +elib(604)
- -append(604,[MISRA 2012 Rule 18.6, required])
-
-/**** Rule 18.7 (Req) ************/
-
- +e9038 /* flexible array member declared */
- +elib(9038)
- -append(9038,[MISRA 2012 Rule 18.7, required])
-
-/**** Rule 18.8 (Req) ************/
-
- +e9035 /* variable length array declared */
- +elib(9035)
- -append(9035,[MISRA 2012 Rule 18.8, required])
-
-/**** Rule 19.1 (Mand) ************/
-
- /* MISRA has declared this rule to be "undecidable". */
-
-/**** Rule 19.2 (Adv) ************/
-
- +e9018 /* union type/object declared */
- +elib(9018)
- -append(9018,[MISRA 2012 Rule 19.2, advisory])
-
-/**** Rule 20.1 (Adv) ************/
-
- +e9019 /* declaration before #include */
- +elib(9019)
- -append(9019,[MISRA 2012 Rule 20.1, advisory])
-
-/**** Rule 20.2 (Req) ************/
-
- +e9020 /* header file name with non-standard character */
- +elib(9020)
- -append(9020,[MISRA 2012 Rule 20.2, required])
- /* Note: If your system requires the '\' be used as a directory
- separator, uncomment the following option.
- */
- // -estring(9020,\)
-
-/**** Rule 20.3 (Req) ************/
-
- +e12 /* Need < or " after #include */
- +elib(12)
- -append(12,[MISRA 2012 Rule 20.3, required])
- +e9086 /* multiple arguments after #include */
- +elib(9086)
- -append(9086,[MISRA 2012 Rule 20.3, required])
-
-/**** Rule 20.4 (Req) ************/
-
- +e9051 /* macro with same name as a keyword */
- +elib(9051)
- -append(9051,[MISRA 2012 Rule 20.4, required])
-
-/**** Rule 20.5 (Adv) ************/
-
- +e9021 /* use of '#undef' is discouraged */
- +elib(9021)
- -append(9021,[MISRA 2012 Rule 20.5, advisory])
-
-/**** Rule 20.6 (Req) ************/
-
- +e436 /* preprocessor directive in invocation of macro */
- +elib(436)
- -append(436,[MISRA 2012 Rule 20.6, required])
-
-/**** Rule 20.7 (Req) ************/
-
- +e665 /* expression passed to unparenthesized macro */
- +elib(665)
- -append(665,[MISRA 2012 Rule 20.7, required])
-
-/**** Rule 20.8 (Req) ************/
-
- +e9037 /* conditional of #if/#elif does not evaluate to 0 or 1 */
- +elib(9037)
- -append(9037,[MISRA 2012 Rule 20.8, required])
-
-/**** Rule 20.9 (Req) ************/
-
- +e553 /* Undefined preprocessor variable, assumed 0 */
- +elib(553)
- -append(553,[MISRA 2012 Rule 20.9, required])
-
-/**** Rule 20.10 (Adv) ************/
-
- +e9024 /* '#/##' operators used */
- +elib(9024)
- -append(9024,[MISRA 2012 Rule 20.10, advisory])
-
-/**** Rule 20.11 (Req) ************/
-
- +e484 /* stringize operator followed by macro parameter followed by pasting operator */
- +elib(484)
- -append(484,[MISRA 2012 Rule 20.11, required])
-
-/**** Rule 20.12 (Req) ************/
-
- +e9015 /* macro argument is used both with and without '#/##' and is subject to further replacement */
- +elib(9015)
- -append(9015,[MISRA 2012 Rule 20.12, required])
-
-/**** Rule 20.13 (Req) ************/
-
- +e544 /* endif or else not followed by EOL */
- +elib(544)
- -append(544,[MISRA 2012 Rule 20.13, required])
- +e16 /* # directive not followed by recognizable word */
- +elib(16)
- -append(16,[MISRA 2012 Rule 20.13, required])
- /* other parts of this rule such as a syntax check of the disabled
- portions of the code do not seem to be statically checkable
- */
-
-/**** Rule 20.14 (Req) ************/
-
- +e405 /* #if/#ifdef/#ifndef not closed off */
- +elib(405)
- -append(405,[MISRA 2012 Rule 20.14, required])
-
-/**** Rule 21.1 (Req) ************/
-
- +e136 /* Illegal macro name */
- +elib(136)
- -append(136,[MISRA 2012 Rule 21.1, required])
- /* Undefining standard library macros is covered by rule 20.5. */
- /* Defining/redefining reserved/standard identifiers is covered
- by rules 20.4 and 21.2.
- */
- +e9071 /* defined macro reserved to the compiler */
- +elib(9071)
- -append(9071,[MISRA 2012 Rule 21.1, required])
- // explicit exemptions
- -estring(9071,* because *)
- -estring(9071,cerf)
- -estring(9071,cerfc)
- -estring(9071,cexp2)
- -estring(9071,cexpm1)
- -estring(9071,clog10)
- -estring(9071,clog1p)
- -estring(9071,clog2)
- -estring(9071,clgamma)
- -estring(9071,ctgamma)
- -estring(9071,cerff)
- -estring(9071,cerfcf)
- -estring(9071,cexp2f)
- -estring(9071,cexpm1f)
- -estring(9071,clog10f)
- -estring(9071,clog1pf)
- -estring(9071,clog2f)
- -estring(9071,clgammaf)
- -estring(9071,ctgammaf)
- -estring(9071,cerfl)
- -estring(9071,cerfcl)
- -estring(9071,cexp2l)
- -estring(9071,cexpm1l)
- -estring(9071,clog10l)
- -estring(9071,clog1pl)
- -estring(9071,clog2l)
- -estring(9071,clgammal)
- -estring(9071,ctgammal)
- -estring(9071,E0*)
- -estring(9071,E1*)
- -estring(9071,E2*)
- -estring(9071,E3*)
- -estring(9071,E4*)
- -estring(9071,E5*)
- -estring(9071,E6*)
- -estring(9071,E7*)
- -estring(9071,E8*)
- -estring(9071,E9*)
- -estring(9071,NDEBUG)
- -estring(9071,PRIa*)
- -estring(9071,PRIb*)
- -estring(9071,PRIc*)
- -estring(9071,PRId*)
- -estring(9071,PRIe*)
- -estring(9071,PRIf*)
- -estring(9071,PRIg*)
- -estring(9071,PRIh*)
- -estring(9071,PRIi*)
- -estring(9071,PRIj*)
- -estring(9071,PRIk*)
- -estring(9071,PRIl*)
- -estring(9071,PRIm*)
- -estring(9071,PRIn*)
- -estring(9071,PRIo*)
- -estring(9071,PRIp*)
- -estring(9071,PRIq*)
- -estring(9071,PRIr*)
- -estring(9071,PRIs*)
- -estring(9071,PRIt*)
- -estring(9071,PRIu*)
- -estring(9071,PRIv*)
- -estring(9071,PRIw*)
- -estring(9071,PRIx*)
- -estring(9071,PRIy*)
- -estring(9071,PRIz*)
- -estring(9071,PRIX*)
- -estring(9071,SCNa*)
- -estring(9071,SCNb*)
- -estring(9071,SCNc*)
- -estring(9071,SCNd*)
- -estring(9071,SCNe*)
- -estring(9071,SCNf*)
- -estring(9071,SCNg*)
- -estring(9071,SCNh*)
- -estring(9071,SCNi*)
- -estring(9071,SCNj*)
- -estring(9071,SCNk*)
- -estring(9071,SCNl*)
- -estring(9071,SCNm*)
- -estring(9071,SCNn*)
- -estring(9071,SCNo*)
- -estring(9071,SCNp*)
- -estring(9071,SCNq*)
- -estring(9071,SCNr*)
- -estring(9071,SCNs*)
- -estring(9071,SCNt*)
- -estring(9071,SCNu*)
- -estring(9071,SCNv*)
- -estring(9071,SCNw*)
- -estring(9071,SCNx*)
- -estring(9071,SCNy*)
- -estring(9071,SCNz*)
- -estring(9071,SCNX*)
- +e9083 /* undefined macro reserved to the compiler */
- +elib(9083)
- -append(9083,[MISRA 2012 Rule 21.1, required])
- // explicit exemptions
- -estring(9083,* because *)
- -estring(9083,cerf)
- -estring(9083,cerfc)
- -estring(9083,cexp2)
- -estring(9083,cexpm1)
- -estring(9083,clog10)
- -estring(9083,clog1p)
- -estring(9083,clog2)
- -estring(9083,clgamma)
- -estring(9083,ctgamma)
- -estring(9083,cerff)
- -estring(9083,cerfcf)
- -estring(9083,cexp2f)
- -estring(9083,cexpm1f)
- -estring(9083,clog10f)
- -estring(9083,clog1pf)
- -estring(9083,clog2f)
- -estring(9083,clgammaf)
- -estring(9083,ctgammaf)
- -estring(9083,cerfl)
- -estring(9083,cerfcl)
- -estring(9083,cexp2l)
- -estring(9083,cexpm1l)
- -estring(9083,clog10l)
- -estring(9083,clog1pl)
- -estring(9083,clog2l)
- -estring(9083,clgammal)
- -estring(9083,ctgammal)
- -estring(9083,E0*)
- -estring(9083,E1*)
- -estring(9083,E2*)
- -estring(9083,E3*)
- -estring(9083,E4*)
- -estring(9083,E5*)
- -estring(9083,E6*)
- -estring(9083,E7*)
- -estring(9083,E8*)
- -estring(9083,E9*)
- -estring(9083,NDEBUG)
- -estring(9083,PRIa*)
- -estring(9083,PRIb*)
- -estring(9083,PRIc*)
- -estring(9083,PRId*)
- -estring(9083,PRIe*)
- -estring(9083,PRIf*)
- -estring(9083,PRIg*)
- -estring(9083,PRIh*)
- -estring(9083,PRIi*)
- -estring(9083,PRIj*)
- -estring(9083,PRIk*)
- -estring(9083,PRIl*)
- -estring(9083,PRIm*)
- -estring(9083,PRIn*)
- -estring(9083,PRIo*)
- -estring(9083,PRIp*)
- -estring(9083,PRIq*)
- -estring(9083,PRIr*)
- -estring(9083,PRIs*)
- -estring(9083,PRIt*)
- -estring(9083,PRIu*)
- -estring(9083,PRIv*)
- -estring(9083,PRIw*)
- -estring(9083,PRIx*)
- -estring(9083,PRIy*)
- -estring(9083,PRIz*)
- -estring(9083,PRIX*)
- -estring(9083,SCNa*)
- -estring(9083,SCNb*)
- -estring(9083,SCNc*)
- -estring(9083,SCNd*)
- -estring(9083,SCNe*)
- -estring(9083,SCNf*)
- -estring(9083,SCNg*)
- -estring(9083,SCNh*)
- -estring(9083,SCNi*)
- -estring(9083,SCNj*)
- -estring(9083,SCNk*)
- -estring(9083,SCNl*)
- -estring(9083,SCNm*)
- -estring(9083,SCNn*)
- -estring(9083,SCNo*)
- -estring(9083,SCNp*)
- -estring(9083,SCNq*)
- -estring(9083,SCNr*)
- -estring(9083,SCNs*)
- -estring(9083,SCNt*)
- -estring(9083,SCNu*)
- -estring(9083,SCNv*)
- -estring(9083,SCNw*)
- -estring(9083,SCNx*)
- -estring(9083,SCNy*)
- -estring(9083,SCNz*)
- -estring(9083,SCNX*)
-
-/**** Rule 21.2 (Req) ************/
-
- +e683 /* complain about #define standard functions */
- +elib(683)
- -append(683,[MISRA 2012 Rule 21.2, required])
- /* Undefining standard library macros is covered by rule 20.5. */
- /* Defining/redefining reserved/standard identifiers is covered
- by rule 20.4 and 21.2.
- */
-
-/**** Rule 21.3 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(function,calloc,[MISRA 2012 Rule 21.3, required])
- -deprecate(macro,calloc,[MISRA 2012 Rule 21.3, required])
- -deprecate(function,malloc,[MISRA 2012 Rule 21.3, required])
- -deprecate(macro,malloc,[MISRA 2012 Rule 21.3, required])
- -deprecate(function,realloc,[MISRA 2012 Rule 21.3, required])
- -deprecate(macro,realloc,[MISRA 2012 Rule 21.3, required])
- -deprecate(function,free,[MISRA 2012 Rule 21.3, required])
- -deprecate(macro,free,[MISRA 2012 Rule 21.3, required])
-
-/**** Rule 21.4 (Req) ************/
-
- +e829 /* warn on header usage */
- +elib(829)
- +headerwarn(setjmp.h)
- -append(829(setjmp.h),[MISRA 2012 Rule 21.4, required])
- -deprecate(function,setjmp,[MISRA 2012 Rule 21.4, required])
- -deprecate(function,longjmp,[MISRA 2012 Rule 21.4, required])
- -deprecate(macro,setjmp,[MISRA 2012 Rule 21.4, required])
- -deprecate(macro,longjmp,[MISRA 2012 Rule 21.4, required])
-
-/**** Rule 21.5 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(function,signal,[MISRA 2012 Rule 21.5, required])
- -deprecate(function,raise,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIGABRT,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIGFPE,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIGILL,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIGINT,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIGSEGV,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIGTERM,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIG_DFL,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIG_ERR,[MISRA 2012 Rule 21.5, required])
- -deprecate(macro,SIG_IGN,[MISRA 2012 Rule 21.5, required])
- +e829 /* warn on header usage */
- +elib(829)
- +headerwarn(signal.h)
- -append(829(signal.h),[MISRA 2012 Rule 21.5, required])
-
-/**** Rule 21.6 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(function,clearerr,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fclose,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,feof,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,ferror,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fflush,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fgetc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fgetpos,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fgets,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fgetwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fgetws,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fopen,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fputc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fputs,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fputwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fputws,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fread,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fseek,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fsetpos,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,freopen,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,ftell,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fwide,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fwprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fwrite,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,fwscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,getc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,getchar,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,gets,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,getwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,getwchar,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,perror,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,printf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,putc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,putchar,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,puts,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,putwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,putwchar,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,remove,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,rename,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,rewind,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,scanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,setbuf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,setvbuf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,snprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,sprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,sscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,swprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,swscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,tmpfile,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,tmpnam,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,ungetc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,ungetwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vfprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vfscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vfwprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vfwscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vsnprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vsprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vsscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vswprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vswscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vwprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,vwscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,wprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(function,wscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,clearerr,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fclose,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,feof,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,ferror,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fflush,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fgetc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fgets,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fgetpos,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fgetwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fgetws,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fopen,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fputc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fputs,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fputwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fputws,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fread,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fseek,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fsetpos,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,freopen,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,ftell,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fwide,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fwprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fwrite,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,fwscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,getc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,getchar,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,gets,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,getwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,getwchar,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,perror,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,printf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,putc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,putchar,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,puts,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,putwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,putwchar,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,remove,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,rename,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,rewind,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,scanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,setbuf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,setvbuf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,snprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,sprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,sscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,swprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,swscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,tmpfile,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,tmpnam,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,ungetc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,ungetwc,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vfprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vfscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vfwprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vfwscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vsnprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vsprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vsscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vswprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vswscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vwprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,vwscanf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,wprintf,[MISRA 2012 Rule 21.6, required])
- -deprecate(macro,wscanf,[MISRA 2012 Rule 21.6, required])
-
-/**** Rule 21.7 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(function,atof,[MISRA 2012 Rule 21.7, required])
- -deprecate(function,atoi,[MISRA 2012 Rule 21.7, required])
- -deprecate(function,atol,[MISRA 2012 Rule 21.7, required])
- -deprecate(function,atoll,[MISRA 2012 Rule 21.7, required])
- -deprecate(macro,atof,[MISRA 2012 Rule 21.7, required])
- -deprecate(macro,atoi,[MISRA 2012 Rule 21.7, required])
- -deprecate(macro,atol,[MISRA 2012 Rule 21.7, required])
- -deprecate(macro,atoll,[MISRA 2012 Rule 21.7, required])
-
-/**** Rule 21.8 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(function,abort,[MISRA 2012 Rule 21.8, required])
- -deprecate(function,exit,[MISRA 2012 Rule 21.8, required])
- -deprecate(function,getenv,[MISRA 2012 Rule 21.8, required])
- -deprecate(function,system,[MISRA 2012 Rule 21.8, required])
- -deprecate(macro,abort,[MISRA 2012 Rule 21.8, required])
- -deprecate(macro,exit,[MISRA 2012 Rule 21.8, required])
- -deprecate(macro,getenv,[MISRA 2012 Rule 21.8, required])
- -deprecate(macro,system,[MISRA 2012 Rule 21.8, required])
-
-/**** Rule 21.9 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(function,bsearch,[MISRA 2012 Rule 21.9, required])
- -deprecate(function,qsort,[MISRA 2012 Rule 21.9, required])
- -deprecate(macro,bsearch,[MISRA 2012 Rule 21.9, required])
- -deprecate(macro,qsort,[MISRA 2012 Rule 21.9, required])
-
-/**** Rule 21.10 (Req) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(macro,wcsftime,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,wcsftime,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,clock,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,clock,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,difftime,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,difftime,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,mktime,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,mktime,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,time,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,time,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,asctime,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,asctime,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,ctime,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,ctime,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,gmtime,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,gmtime,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,localtime,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,localtime,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,strftime,[MISRA 2012 Rule 21.10, required])
- -deprecate(function,strftime,[MISRA 2012 Rule 21.10, required])
- -deprecate(macro,CLOCKS_PER_SEC,[MISRA 2012 Rule 21.10, required])
- +e829 /* warn on header usage */
- +elib(829)
- +headerwarn(time.h)
- -append(829(time.h),[MISRA 2012 Rule 21.10, required])
-
-/**** Rule 21.11 (Req) ************/
-
- +e829 /* warn on header usage */
- +elib(829)
- +headerwarn(tgmath.h)
- -append(829(tgmath.h),[MISRA 2012 Rule 21.11, required])
-
-/**** Rule 21.12 (Adv) ************/
-
- +e586 /* Symbol is deprecated */
- +elib(586)
- -deprecate(function,feclearexcept,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,feclearexcept,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(function,fegetexceptflag,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,fegetexceptflag,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(function,feraiseexcept,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,feraiseexcept,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(function,fesetexceptflag,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,fesetexceptflag,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(function,fetestexcept,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,fetestexcept,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,FE_INEXACT,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,FE_DIVBYZERO,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,FE_UNDERFLOW,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,FE_OVERFLOW,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,FE_INVALID,[MISRA 2012 Rule 21.12, advisory])
- -deprecate(macro,FE_ALL_EXCEPT,[MISRA 2012 Rule 21.12, advisory])
-
-/**** Rule 22.1 (Req) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e429 /* custodial pointer neither free'd nor returned */
- +elib(429)
- -append(429,[MISRA 2012 Rule 22.1, required])
- -function_pair(fopen,fclose)
- +e480 /* no balancing call */
- +elib(480)
- -append(480,[MISRA 2012 Rule 22.1, required])
- +e481 /* different balance call states */
- +elib(481)
- -append(481,[MISRA 2012 Rule 22.1, required])
-
-/**** Rule 22.2 (Mand) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e424 /* inappropriate deallocation */
- +elib(424)
- -append(424,[MISRA 2012 Rule 22.2, mandatory])
- +e449 /* pointer previously deallocated */
- +elib(449)
- -append(449,[MISRA 2012 Rule 22.2, mandatory])
-
-/**** Rule 22.3 (Req) ************/
-
- /* MISRA has declared this rule to be "undecidable". */
-
-/**** Rule 22.4 (Mand) ************/
-
- /* MISRA has declared this rule to be "undecidable". */
-
-/**** Rule 22.5 (Mand) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- Software provides the following message to assist:
- */
- +e9047 /* FILE pointer dereferenced */
- +elib(9047)
- -append(9047,[MISRA 2012 Rule 22.5, mandatory])
-
-
-/**** Rule 22.6 (Mand) ************/
-
- /* While MISRA has declared this rule to be "undecidable", Gimpel
- * Software provides the following options to assist:
- */
- +e449 /* previously deallocated pointer */
- +elib(449)
- -append(449,[MISRA 2012 Rule 22.6, mandatory])
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 12:24:15 +0000