+e820
    -append(820,[MISRA 2004 Rule 13.1])

/* Rule 13.2 (adv) *********************************/

    /* +e720 */

/* Rule 13.3 (req) *********************************/

    +e777                        /* testing floats for equality */
    -append(777,[MISRA 2004 Rule 13.3])

/* Rule 13.4 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 13.4, */
    /* floating point variable used as loop counter */

/* Rule 13.5 (req) *********************************/

/* Rule 13.6 (req) *********************************/


/* Rule 13.7 (req) *********************************/

    +e506
    -append(506,[MISRA 2004 Rules 13.7 and 14.1])

/* Rule 14.1 (req) *********************************/

    /* +e506 */
    +e527                       /* unreachable */
    -append(527,[MISRA 2004 Rule 14.1])
    +e681
    -append(681,[MISRA 2004 Rule 14.1])
    +e827
    -append(827,[MISRA 2004 Rule 14.1])

/* Rule 14.2 (req) *********************************/

    +e505
    +e522
    -append(505,[MISRA 2004 Rule 14.2])
    -append(522,[MISRA 2004 Rule 14.2])

/* Rule 14.3 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 14.3, */
    /* null statement not in line by itself */

/* Rule 14.4 (req) *********************************/

    +e801
    -append(801,[MISRA 2004 Rule 14.4])

/* Rule 14.5 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 14.5, */
    /* continue statement detected */

/* Rule 14.6 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 14.6, */
    /* more than one 'break' terminates loop */

/* Rule 14.7 (req) *********************************/


/* Rule 14.8 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 14.8, */
    /* left brace expected for switch, for, do and while */

/* Rule 14.9 (req) *********************************/


    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 14.9, */
    /* left brace expected for if, else and else if */

/* Rule 14.10 (req) ********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 14.10, */
    /* no 'else' at end of 'if ... else if' chain */

/* Rule 15.1 (req) *********************************/

/* Rule 15.2 (req) *********************************/

    +e616
    -append(616,[MISRA 2004 Rule 15.2])
    +e825
    -append(825,[MISRA 2004 Rule 15.2])

/* Rule 15.3 (req) *********************************/

    +e744                         /* switch statement has no default */
    -append(744,[MISRA 2004 Rule 15.3])

/* Rule 15.4 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 15.4, */
    /* boolean value in switch statement */

/* Rule 15.5 (req) *********************************/

    +e764                         /* switch does not have a case */
    -append(764,[MISRA 2004 Rule 15.5])

/* Rule 16.1 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 16.1, */
    /* function has variable number of arguments */

/* Rule 16.2 (req) *********************************/

/* Rule 16.3 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 16.3, */
    /* all parameters shall have identifiers */

/* Rule 16.4 (req) *********************************/

/* Rule 16.5 (req) *********************************/

    /* +e937 old-style function declaration */

/* Rule 16.6 (req) *********************************/

    +e118               /* too few arguments for prototype */
    +e119               /* too many arguments for prototype */
    -append(118,[MISRA 2004 Rule 16.6])
    -append(119,[MISRA 2004 Rule 16.6])

/* Rule 16.7 (adv) *********************************/

    +e818                       /* use const on paramaters where appropriate */
    -append(818,[MISRA 2004 Rule 16.7])

/* Rule 16.8 (req) *********************************/

    +e533                        /* function should return a value */
    -append(533,[MISRA 2004 Rule 16.8])

/* Rule 16.9 (req) *********************************/

/* Rule 16.10 (req) ********************************/

/* Rule 17.1 (req) *********************************/

/* Rule 17.2 (req) *********************************/

/* Rule 17.3 (req) *********************************/

    +e946          /* relational or subtract operator applied to pointers */
    -append(946,[MISRA 2004 Rule 17.3])

/* Rule 17.4 (req) *********************************/

/* Rule 17.5 (adv) *********************************/

/* Rule 17.6 (req) *********************************/

    +e733               /* assigning address of auto to outer scope symbol */
    +e789               /* assigning address of auto to static */
    -append(733,[MISRA 2004 Rule 17.6])
    -append(789,[MISRA 2004 Rule 17.6])

/* Rule 18.1 (req) *********************************/

    +e43                         /* vacuous type for variable */
    -append(43,[MISRA 2004 Rule 18.1])

/* Rule 18.2 (req) *********************************/

/* Rule 18.3 (req) *********************************/

/* Rule 18.4 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 18.4, */
    /* unions shall not be used */

/* Rule 19.1 (adv) *********************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA 2004 Advisory Rule 19.1, */
    /* only preprocessor statements and comments before '#include' */

/* Rule 19.2 (adv) *********************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA 2004 Advisory Rule 19.2, */
    /* header file name with non-standard character */

/* Rule 19.3 (req) *********************************/

    +e12                        /* Need < or \ " after #include */
    -append(12,[MISRA 2004 Rule 19.3])

/* Rule 19.4 (req) *********************************/

/* Rule 19.5 (req) *********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 19.5, */
    /* '#define/#undef' used within a block */

/* Rule 19.6 (req) *********************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA 2004 Advisory Rule 19.6, */
    /* use of '#undef' is discouraged */

/* Rule 19.7 (adv) *********************************/

/* Rule 19.8 (req) *********************************/

    +e131                         /* syntax error in call of macro */
    -append(131,[MISRA 2004 Rule 19.8])

/* Rule 19.9 (req) *********************************/
    +e436
    -append(436,[MISRA 2004 Rule 19.9])

/* Rule 19.10 (req) ********************************/

    +e773                      /* expression-like macro not parenthesized */
    -append(773,[MISRA 2004 Rule 19.10])

/* Rule 19.11 (req) ********************************/

    +e553                        /* undefined preprocessor variable */
    -append(553,[MISRA 2004 Rule 19.11])

/* Rule 19.12 (req) ********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 19.12, */
    /* multiple use of '#/##' operators in macro definition */

/* Rule 19.13 (adv) ********************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA 2004 Advisory Rule 19.13, */
    /* '#/##' operators used */

/* Rule 19.14 (req) ********************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA 2004 Required Rule 19.14, */
    /* non-standard use of 'defined' preprocessor statement */

/* Rule 19.15 (req) ********************************/

/* Rule 19.16 (req) ********************************/

/* Rule 19.17 (req) ********************************/

/* Rule 20.1 (req) *********************************/

    +e683             /* complain about #define standard functions */
    -append(683,[MISRA 2004 Rule 20.1])

/* Rule 20.2 (req) *********************************/

/* Rule 20.3 (req) *********************************/

    /* 100 calls to standard library functions are monitored */
    /* users can specify additional constraints for other functions */

/* Rule 20.4 (req) *********************************/

    -deprecate( function, calloc, [MISRA 2004 Rule 20.4] )
    -deprecate( function, malloc, [MISRA 2004 Rule 20.4] )
    -deprecate( function, realloc, [MISRA 2004 Rule 20.4] )
    -deprecate( function, free, [MISRA 2004 Rule 20.4] )

        /* enable message 586 for these functions */

/* Rule 20.5 (req) *********************************/

    -deprecate( variable, errno, [MISRA 2004 Rule 20.5] )

/* Rule 20.6 (req) *********************************/

    -deprecate( macro, offsetof, [MISRA 2004 Rule 20.6] )

/* Rule 20.7 (req) *********************************/

    -deprecate( function, longjmp, [MISRA 2004 Rule 20.7] )
    -deprecate( function, setjmp, [MISRA 2004 Rule 20.7] )

    /* enable message 586 for these functions */

/* Rule 20.8 (req) *********************************/

    -deprecate( function, signal, [MISRA 2004 Rule 20.8] )
    -deprecate( function, raise, [MISRA 2004 Rule 20.8] )

    /* enable message 586 for these functions */

/* Rule 20.9 (req) *********************************/

    -headerwarn(stdio.h)
        /* enable message 829 for stdio.h */
    -append(829(stdio.h), [MISRA 2004 Rule 20.9])

/* Rule 20.10 (req) ********************************/

    -deprecate( function, atof, [MISRA 2004 Rule 20.10] )
    -deprecate( function, atoi, [MISRA 2004 Rule 20.10] )
    -deprecate( function, atol, [MISRA 2004 Rule 20.10] )

    /* enable message 586 for these functions */

/* Rule 20.11 (req) ********************************/

    -deprecate( function, abort, [MISRA 2004 Rule 20.11] )
    -deprecate( function, exit, [MISRA 2004 Rule 20.11] )
    -deprecate( function, getenv, [MISRA 2004 Rule 20.11] )
    -deprecate( function, system, [MISRA 2004 Rule 20.11] )

    /* enable message 586 for these functions */

/* Rule 20.12 (req) ********************************/

    -deprecate( function, time, [MISRA 2004 Rule 20.12] )
    -deprecate( function, strftime, [MISRA 2004 Rule 20.12] )
    -deprecate( function, clock, [MISRA 2004 Rule 20.12] )
    -deprecate( function, difftime, [MISRA 2004 Rule 20.12] )
    -deprecate( function, mktime, [MISRA 2004 Rule 20.12] )

    /* enable message 586 for these functions */

/* Rule 21.1 (req) *********************************/