// au-misra.lnt -- Author options - MISRA 1998

/*
    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-misra  files

    Gimpel Software relies on the document, "Guidelines for the use
    of the C language in vehicle based software", copyright 1998 by
    MIRA Limited, as the primary guidance 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.

 */

    +e960                      /* enable special MISRA messages */
    +e961                      /* enable special MISRA messages */

/* Rule 1 (req) *************************************/

    -A(C90)                     /* strict ANSI */
    +e950                       /* flag non-ANSI word or construct */
    -append(950,[MISRA Rule 1])

/* Rule 2 (adv) *************************************/

/* Rule 3 (adv) *****************************************/

    -rw( asm, _asm, __asm )     /* remove asm built-in's */
    -dasm=_ignore_init          /* define asm as a ... */
    +rw( _ignore_init )         /* function introduction */

/* Rule 4 (adv) **********************************/

/* Rule 5 (req) *********************************/

    +e606                       /* non-ANSI escape sequence */
    -append(606,[MISRA Rule 5])

/* Rule 6 (req) **********************************/

/* Rule 7 (req) ************************************/

    -ftg                        /* inhibit use of trigraphs */
    +e739                       /* activate trigraph in string message */
    -append(739,[MISRA Rule 7])

/* Rule 8 (req) ****************************************/

    -fwc                        /* deactivate wchar_t */
                /* no option to detect L"..." */

/* Rule 9 (req) **************************************/

    -fnc                        /* flag nested comments */
    +e602                       /* comment within comment */
    -append(602,[MISRA Rule 9])

/* Rule 10 (adv) ************************************/

    /* no option for this */

/* Rule 11 (req) ***********************************/

    -idlen(31)   /* flag names identical in the first 31 characters */
    +e621        /* Identifier clash - length set by -idlen */
    -append(621,[MISRA Rule 11])

/* Rule 12 (adv) ****************************************/

    +e578                         /* enable reports of name hiding */
    +e580                         /* enable reports of name hiding */
    -append(578,[MISRA Rules 12, 21, 27, 29])
    -append(580,[MISRA Rule 12])

/* Rule 13 (adv) *****************************************/

    +e970               /* flag modifiers used outside of typedefs */
    -append(970,[MISRA Rule 13])

/* Rule 14 (req) ******************************************/

    +e971               /* flag char without signed or unsigned */
    -append(971,[MISRA Rule 14])

/* Rule 15 (adv) ******************************************/

/* Rule 16 (req) *****************************************/

/* Rule 17 (req) ******************************************/

    +e623               /* redefining the storage class of symbol */
    -append(623,[MISRA Rule 17])

/* Rule 18  (adv) ********************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA Advisory Rule 18, Constant requires numerical suffix */

/* Rule 19 (req) **************************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA Required Rule 19, Octal constant used */

/* Rule 20 (req) **************************************/

    +e40                         /* undeclared identifier */
    -append( 40,[MISRA Rule 20])
    +e718                        /* Symbol undeclared */
    -append(718,[MISRA Rules 20 and 71])
    +e746
    -append(746,[MISRA Rules 20 and 71])

/* Rule 21 (req) **************************************/

    /* +e578 Declaration of Symbol hides Symbol */

/* Rule 22 (adv) ***************************************/

/* Rule 23 (adv)  **************************************/

    +e765                       /* symbol could be made static */
    -append(765,[MISRA Rule 23])

/* Rule 24 (req) **************************************/

    +e512                        /* symbol previously used as static */
    -append(512,[MISRA Rule 24])

/* Rule 25 (req) **************************************/

    +e14                         /* symbol previously defined */
    -append(14,[MISRA Rule 25])

/* Rule 26 (req) ***************************************/

    +e15                          /* symbol redeclared */
    -append(15,[MISRA Rule 26])

/* Rule 27 (adv) **************************************/

    /* +e578 Declaration of Symbol hides Symbol */

/* Rule 28 (adv) **************************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA Advisory Rule 28, 'register' class discouraged */

/* Rule 29 (req) **************************************/

    /* +e578 Declaration of Symbol hides Symbol */

/* Rule 30 (req) **************************************/

    +e644                   /* Symbol may not have been initialized */
    +e771                   /* Symbol conceivably not initialized */
    +e530                   /* Symbol not initialized */
    -append(644,[MISRA Rule 30])
    -append(771,[MISRA Rule 30])
    -append(530,[MISRA Rule 30])

/* Rule 31 (req) **************************************/

    +e940                   /* omitted braces within an initializer */
    -append(940,[MISRA Rule 31])

/* Rule 32 (req) *****************************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA Required Rule 32, */
    /* should initialize either all enum members or only the first */

/* Rule 33 (req) *****************************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA Required Rule 33,  */
    /* side effects on right hand side of logical operator */

/* Rule 34 (req) **************************************/

/* Rule 35 (req) **************************************/

    +e720                         /* Boolean test of assignment */
    -append(720,[MISRA Rules 35 and 49])
    +e820
    -append(820,[MISRA Rule 35])

/* Rule 36 (adv) ******************************************/

/* Rule 37 (req) ****************************************/

    +e701                        /* shift left of signed quantity */
    +e702                        /* shift right of signed quantity */
    -append(701,[MISRA Rule 37])
    -append(702,[MISRA Rule 37])

/* Rule 38 (req) ******************************************/

    +e572                        /* excessive shift value */
    -append(572,[MISRA Rule 38])

/* Rule 39 (req) *****************************************/

    +e501                        /* expected signed type */
    -append(501,[MISRA Rule 39])

/* Rule 40 (adv) ****************************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA Advisory Rule 40, */
    /* 'sizeof' used on expressions with side effect */

/* Rule 41 (adv) ********************************************/

/* Rule 42 (req) ********************************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA Required Rule 42, */
    /* comma operator used outside of 'for' expression */

/* Rule 43 (req) ********************************************/

    +e524                                                   /* loss of precision */
    -append(524,[MISRA Rule 43])
    +e653                                                   /* possible loss of fraction */
    -append(653,[MISRA Rules 43 and 48])

/* Rule 44 (adv) *******************************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA Advisory Rule 44, */
    /* redundant explicit casting */

/* Rule 45 (req) *****************************************/

    +e923                        /* cast pointer/non-pointer */
    -append(923,[MISRA Rule 45])

/* Rule 46 (req) ****************************************/

    +e564                       /* order of evaluation */
    -append(564,[MISRA Rule 46])

/* Rule 47 (adv) ****************************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA Advisory Rule 47, */
    /* dependence placed on C's operator precedence */
    +e834  /* confusing operator sequence (same precedence) */
    -append(834,[MISRA Rule 47])

/* Rule 48 (adv) *****************************************/

    +e912 /* implicit binary conversion */
    /* +e653 implicit possible loss of fraction */


/* Rule 49 (adv) ******************************************/

    /* +e720 */

/* Rule 50 (req) *****************************************/

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

/* Rule 51 (adv) ****************************************/

    +e648                        /* overflow in computing constant */
    -append(648,[MISRA Rule 51])

/* Rule 52 (req) *******************************************/

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

/* Rule 53 (req) *****************************************/

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

/* Rule 54 (req) ****************************************/

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

/* Rule 55 (adv) ****************************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA Advisory Rule 55, */
    /* non-case label */

/* Rule 56 (req) ***************************************/

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

/* Rule 57 (req) ***************************************/

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

/* Rule 58 (req) ***************************************/

    /* we generate note 960 as below */
    /* Note 960: Violates MISRA Required Rule 58, */
    /* non-switch break used */

/* Rule 59 (req) ****************************************/

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

/* Rule 60 (adv) ***************************************/

    /* we generate note 961 as below */
    /* Note 961: Violates MISRA Advisory Rule 60, */
    /* no 'else' at end of 'if ... else if' chain */

/* Rule 61 (req) **************************************/

    +e616